| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | SAT | 40.195801 | 40.260502 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-80-02.xml |
| MD5SUM | 201da62bda966dccc44cd0c6ff0d4af7 |
| 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 | 20.808901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1431 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 75 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":3}, {"degree":75,"count":57}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1230},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.06 c 0.03/0.16 c SAT : Variables: 7000 -- Clauses: 62200 0.03/0.17 c root propagations : 0 0.03/0.17 c restarts enabled, print stats at every restarts 0.03/0.17 c 0.03/0.17 c 0.03/0.17 c 0.03/0.17 c This is cosoco 1.12 -- 0.03/0.17 c 0.03/0.17 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266008-1502578765.xml 0.03/0.17 c ========================================[ Problem Statistics ]=========================================== 0.03/0.17 c | 0.03/0.17 c | Parse time : 0.09 s 0.03/0.17 c | 0.03/0.17 c | Variables: 1200 0.03/0.17 c | Domain Sizes: 2..25 0.03/0.17 c | 0.03/0.17 c | Constraints: 1455 0.03/0.17 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.03/0.17 c | 0.03/0.17 c | Types: 0.03/0.17 c | Exactly K: 25 0.03/0.17 c | Extension: 200 (nb tuples: 25..25) -- (shared: 199) 0.03/0.17 c | Sum: 1230 0.03/0.17 c | 0.03/0.17 c ========================================================================================================= 0.03/0.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.35/0.48 c 10 943 52123 6980 0 1 911 921 833 0.45/0.57 c 20 1070 64698 9483 0 5 96 101 90 0.54/0.64 c 30 1165 75533 11546 0 7 67 71 62 0.83/0.94 c 40 1988 122559 18456 0 11 65 800 128 1.13/1.24 c 50 2804 169975 25452 0 16 68 798 440 1.23/1.33 c 60 2901 182592 28084 0 18 67 71 63 1.33/1.43 c 70 3004 196675 31154 0 21 66 69 61 1.63/1.74 c 80 3790 244939 39128 0 26 66 765 188 1.73/1.84 c 90 3887 258795 42271 0 28 67 71 62 2.04/2.14 c 100 4716 307862 49472 0 31 66 807 462 2.13/2.20 c 101 4784 314895 50520 0 32 68 68 34 2.43/2.50 c 110 5678 362270 57021 0 40 67 874 577 2.63/2.80 c 120 6553 408487 63385 0 46 68 861 691 3.04/3.14 c 130 7587 462409 69845 0 51 616 1006 847 3.33/3.40 c 140 8303 508079 76100 0 59 466 703 590 3.63/3.75 c 150 9544 569338 83570 0 64 556 912 674 3.73/3.88 c 160 9892 591895 87866 0 66 321 324 293 3.83/4.00 c 170 10167 611493 91683 0 70 68 251 209 4.04/4.11 c 180 10318 627683 95855 0 72 125 128 115 4.23/4.33 c 190 10944 663105 101865 0 75 73 599 485 4.43/4.50 c 200 11387 689699 106853 0 79 425 427 387 4.53/4.65 c 210 11733 713927 111834 0 83 328 330 299 4.63/4.77 c 211 11915 731230 116222 0 84 182 182 91 4.83/4.92 c 220 12138 754298 121318 0 89 138 210 173 4.94/5.08 c 230 12359 780700 127294 0 97 139 210 168 5.13/5.24 c 240 12576 804607 132345 0 101 199 201 181 5.23/5.38 c 250 12785 826798 137270 0 105 191 193 174 5.43/5.56 c 260 13004 854889 143108 0 111 139 207 172 5.53/5.63 c 270 13113 865835 146041 0 117 68 93 77 5.63/5.78 c 280 13336 888966 152150 0 119 68 200 98 5.83/5.95 c 290 13568 916496 158342 0 125 199 209 185 6.04/6.16 c 300 13902 951271 164020 0 133 195 324 243 6.23/6.38 c 310 14271 988416 170289 0 141 209 358 283 6.43/6.57 c 320 14623 1020059 174481 0 147 57 336 278 6.63/6.73 c 330 14875 1044744 177871 0 155 54 241 196 6.73/6.87 c 332 15111 1065130 181749 0 157 58 235 97 6.83/6.94 c 340 15233 1075053 183531 0 159 82 88 75 6.93/7.00 c 350 15349 1084494 185404 0 162 52 77 66 7.13/7.21 c 360 15716 1119744 191175 0 172 140 358 263 7.13/7.26 c 370 15822 1127207 193892 0 175 67 74 63 7.33/7.48 c 380 16187 1163917 200295 0 179 46 347 278 7.53/7.66 c 390 16500 1192659 205237 0 189 66 303 218 7.73/7.82 c 400 16755 1217531 208993 0 198 59 243 132 7.83/7.97 c 410 17002 1241617 212053 0 207 66 235 164 7.93/8.04 c 420 17132 1251470 214087 0 216 59 114 82 8.13/8.25 c 430 17484 1286161 219864 0 224 66 340 240 8.33/8.47 c 440 17845 1324727 226222 0 229 273 345 305 8.53/8.68 c 450 18204 1355874 230620 0 239 66 349 158 8.63/8.73 c 460 18332 1364022 233097 0 242 66 87 65 8.83/8.97 c 465 18810 1403030 238643 0 246 359 474 355 9.03/9.19 c 470 19233 1437796 243770 0 251 286 419 314 9.33/9.40 c 480 19614 1470313 247870 0 261 66 367 190 9.33/9.45 c 490 19727 1477889 249653 0 268 65 96 73 9.53/9.70 c 500 20220 1518008 255393 0 278 66 483 310 9.83/9.96 c 510 20725 1561434 261729 0 282 393 488 429 10.03/10.16 c 520 21094 1592585 266434 0 292 66 359 191 10.23/10.30 c 530 21371 1613582 270574 0 301 66 255 193 10.33/10.43 c 540 21644 1634376 275204 0 308 66 252 183 10.43/10.54 c 550 21893 1652672 279559 0 313 231 233 211 10.53/10.64 c 560 22102 1668572 283372 0 318 66 184 127 10.63/10.75 c 570 22315 1685819 287848 0 324 187 197 175 10.73/10.81 c 580 22437 1694095 289488 0 330 66 99 80 10.83/10.93 c 590 22680 1713074 293823 0 336 113 229 192 10.93/11.02 c 600 22882 1727550 297261 0 342 59 184 116 11.03/11.13 c 610 23110 1745534 301978 0 349 66 200 150 11.13/11.21 c 611 23297 1758090 305374 0 350 187 187 93 11.23/11.30 c 620 23503 1773038 309570 0 354 66 188 142 11.33/11.41 c 630 23720 1790021 314509 0 356 184 187 168 11.43/11.50 c 640 23932 1805260 318850 0 360 66 183 144 11.53/11.60 c 650 24148 1822148 323976 0 363 180 183 165 11.53/11.69 c 660 24360 1836793 328165 0 366 67 181 143 11.73/11.80 c 670 24576 1853194 332936 0 369 175 179 161 11.73/11.89 c 680 24769 1867606 336526 0 372 67 163 130 11.83/11.99 c 690 24979 1884982 341750 0 374 172 175 157 11.93/12.09 c 700 25172 1899468 345036 0 377 67 162 129 12.03/12.18 c 710 25375 1915015 349509 0 379 166 171 153 12.13/12.27 c 720 25563 1928910 352618 0 382 67 161 128 12.23/12.36 c 730 25762 1944671 357240 0 384 165 169 152 12.33/12.46 c 740 25965 1960212 360912 0 388 67 162 129 12.43/12.56 c 750 26166 1975522 365311 0 391 165 169 151 12.53/12.65 c 760 26365 1990506 369177 0 396 67 163 130 12.63/12.74 c 770 26554 2005374 373673 0 398 160 164 147 12.63/12.77 c 771 26639 2010607 374795 0 399 85 85 42 12.73/12.87 c 780 26839 2025977 379578 0 401 160 164 145 12.83/12.97 c 790 27037 2041424 382803 0 404 67 159 128 12.93/13.06 c 800 27228 2056776 387467 0 407 156 161 144 13.03/13.15 c 810 27408 2071395 391078 0 412 65 157 125 13.13/13.28 c 820 27606 2091490 397237 0 414 151 153 138 13.23/13.36 c 830 27793 2105108 399762 0 415 135 142 126 13.43/13.51 c 840 27986 2127375 406972 0 417 149 151 136 13.53/13.61 c 850 28161 2143116 411120 0 421 65 151 121 13.63/13.72 c 860 28344 2160565 416425 0 422 149 152 136 13.73/13.84 c 870 28535 2179072 422091 0 424 148 151 136 13.83/13.97 c 880 28727 2199403 428157 0 426 149 152 136 13.94/14.05 c 890 28902 2213322 431753 0 429 138 143 128 14.03/14.13 c 900 29046 2225485 435451 0 431 102 105 94 14.03/14.20 c 910 29146 2236139 439508 0 433 74 79 70 14.13/14.26 c 920 29259 2247005 443239 0 434 74 77 68 14.23/14.33 c 930 29375 2257991 445906 0 436 70 73 65 14.23/14.39 c 940 29469 2266989 448057 0 439 57 60 53 14.32/14.45 c 947 29553 2276273 450630 0 440 56 58 49 14.32/14.49 c 950 29613 2281692 451626 0 442 55 56 41 14.52/14.65 c 960 29911 2308021 457753 0 449 55 240 134 14.62/14.72 c 970 30000 2318098 460721 0 451 59 63 56 14.72/14.82 c 980 30203 2335544 465888 0 455 53 181 62 14.82/14.97 c 990 30473 2358715 472272 0 460 54 221 80 15.03/15.13 c 1000 30755 2384053 478384 0 467 58 219 126 15.03/15.19 c 1010 30849 2393077 480554 0 468 53 56 49 15.22/15.31 c 1020 31093 2412767 484802 0 474 47 225 91 15.42/15.51 c 1030 31505 2449463 492989 0 484 59 371 245 15.42/15.59 c 1040 31624 2461103 496196 0 492 53 91 67 15.62/15.77 c 1050 31890 2488085 502508 0 502 48 206 133 15.82/15.94 c 1060 32174 2514788 508208 0 512 64 206 173 15.93/16.10 c 1070 32481 2542565 513350 0 522 193 297 219 16.12/16.25 c 1080 32767 2567620 517597 0 532 178 276 202 16.22/16.33 c 1090 32899 2579194 520418 0 536 71 85 73 16.32/16.47 c 1100 33162 2602666 524737 0 545 64 250 185 16.52/16.61 c 1110 33426 2625960 528778 0 555 187 255 207 16.72/16.81 c 1120 33783 2660798 537024 0 565 190 311 235 16.82/16.99 c 1130 34069 2689305 542815 0 575 203 205 184 17.12/17.20 c 1140 34469 2728023 549845 0 585 178 381 273 17.12/17.28 c 1141 34647 2741131 553031 0 586 178 178 89 17.32/17.46 c 1150 34977 2773006 560085 0 595 125 301 225 17.52/17.61 c 1160 35277 2799331 564655 0 605 175 291 244 17.62/17.76 c 1170 35539 2822976 569557 0 615 67 253 129 17.82/17.94 c 1180 35882 2855253 576798 0 624 173 308 239 17.93/18.04 c 1190 36042 2869272 579905 0 632 64 145 99 18.12/18.23 c 1200 36436 2905272 585676 0 638 148 385 279 18.32/18.40 c 1210 36671 2931983 594726 0 648 59 226 109 18.52/18.60 c 1220 37040 2968889 603725 0 657 177 316 250 18.62/18.76 c 1230 37335 2995793 608455 0 667 178 286 205 18.82/18.91 c 1240 37609 3020267 612674 0 677 73 265 191 18.93/19.08 c 1250 37900 3047772 617806 0 686 64 280 168 19.12/19.23 c 1260 38169 3071657 622328 0 696 69 259 183 19.32/19.40 c 1270 38482 3100650 627726 0 706 64 304 143 19.52/19.60 c 1280 38872 3136748 634163 0 712 191 371 298 19.62/19.74 c 1290 39098 3159148 638955 0 722 59 217 115 19.82/19.92 c 1300 39391 3187983 644602 0 732 178 227 194 20.03/20.12 c 1310 39770 3223898 650438 0 742 178 370 281 20.12/20.24 c 1320 39990 3243976 654975 0 752 63 211 119 20.32/20.42 c 1330 40310 3274721 661397 0 761 139 287 219 20.42/20.58 c 1340 40600 3301035 665862 0 769 176 281 227 20.62/20.75 c 1350 40906 3331055 673422 0 777 64 266 168 20.72/20.84 c 1352 41093 3345257 676856 0 779 74 179 84 20.93/21.02 c 1360 41408 3375686 682566 0 787 130 258 209 21.03/21.17 c 1370 41688 3401186 686868 0 796 176 270 208 21.22/21.34 c 1380 41994 3430868 692461 0 806 177 255 205 21.42/21.55 c 1390 42379 3467835 698205 0 816 127 375 221 21.52/21.66 c 1400 42544 3483893 701503 0 826 64 156 97 21.72/21.87 c 1410 42921 3520441 707260 0 834 128 367 220 21.82/21.98 c 1420 43061 3537216 712688 0 844 56 131 82 22.03/22.19 c 1430 43449 3575291 718555 0 849 128 374 276 22.22/22.31 c 1440 43611 3594018 723956 0 859 57 152 91 22.42/22.53 c 1450 44008 3632885 729901 0 868 129 383 244 22.52/22.65 c 1460 44151 3650532 736219 0 878 56 134 83 22.72/22.85 c 1470 44531 3686709 741924 0 884 160 366 297 22.93/23.05 c 1480 44905 3723011 747651 0 892 128 364 267 23.03/23.15 c 1490 45053 3737936 751128 0 902 61 139 87 23.23/23.36 c 1500 45438 3774697 757046 0 908 144 369 275 23.33/23.48 c 1510 45570 3792436 764767 0 918 56 123 76 23.53/23.68 c 1520 45960 3829531 770537 0 927 126 381 258 23.63/23.79 c 1530 46082 3844957 776558 0 937 48 111 70 23.83/24.00 c 1540 46475 3883376 782376 0 945 130 382 262 24.04/24.10 c 1550 46607 3899285 788054 0 955 56 123 76 24.23/24.31 c 1560 46997 3936705 793894 0 962 130 377 265 24.33/24.43 c 1570 47154 3953982 798796 0 972 57 146 83 24.53/24.63 c 1580 47539 3990359 804507 0 981 129 375 225 24.63/24.70 c 1585 47611 4000534 808416 0 986 56 68 51 24.63/24.79 c 1590 47781 4014608 811510 0 991 127 166 124 24.83/25.00 c 1600 48169 4051569 817225 0 999 144 377 242 24.94/25.09 c 1610 48300 4065177 821281 0 1009 53 121 79 25.23/25.30 c 1620 48691 4102750 827124 0 1016 142 379 270 25.23/25.39 c 1630 48803 4116392 832104 0 1026 48 101 67 25.43/25.60 c 1640 49186 4152981 837749 0 1036 127 374 217 25.73/25.81 c 1650 49567 4191014 844025 0 1046 73 372 145 25.83/25.94 c 1660 49709 4209608 851807 0 1056 56 132 83 26.04/26.14 c 1670 50098 4246063 857448 0 1066 129 380 218 26.13/26.25 c 1680 50221 4261741 863628 0 1076 56 114 72 26.33/26.45 c 1690 50608 4298673 869379 0 1083 152 377 248 26.43/26.57 c 1700 50752 4315321 874718 0 1093 56 133 83 26.63/26.77 c 1710 51150 4352820 880427 0 1102 133 387 211 26.73/26.89 c 1720 51285 4370745 888202 0 1112 56 126 73 26.94/27.10 c 1730 51686 4408153 893963 0 1119 159 384 273 27.13/27.22 c 1740 51866 4425928 897973 0 1129 61 170 92 27.33/27.43 c 1750 52249 4462388 903827 0 1136 166 372 288 27.43/27.53 c 1760 52388 4477783 908828 0 1146 56 129 81 27.63/27.73 c 1770 52787 4514875 914574 0 1155 155 390 262 27.73/27.86 c 1780 52981 4533302 919281 0 1165 61 185 101 27.94/28.07 c 1790 53381 4571379 925177 0 1172 157 389 256 28.04/28.19 c 1800 53557 4589349 929756 0 1182 61 167 81 28.33/28.40 c 1810 53955 4626635 935568 0 1187 160 387 278 28.43/28.53 c 1820 54123 4646916 943243 0 1197 49 158 79 28.63/28.73 c 1830 54517 4683226 948941 0 1207 145 385 230 28.73/28.85 c 1840 54663 4701035 955250 0 1217 49 134 75 28.83/28.94 c 1841 54844 4715285 958399 0 1218 181 181 90 29.04/29.15 c 1850 55232 4752249 964215 0 1225 162 379 262 29.23/29.37 c 1860 55617 4791938 971852 0 1235 61 374 133 29.43/29.51 c 1870 55761 4812642 982839 0 1245 49 134 75 29.63/29.71 c 1880 56163 4850892 989040 0 1251 207 382 330 29.73/29.81 c 1890 56273 4864723 994321 0 1261 56 101 70 29.94/30.01 c 1900 56671 4902291 1000166 0 1271 153 389 273 30.04/30.14 c 1910 56863 4921519 1005039 0 1281 58 183 85 30.23/30.34 c 1920 57265 4958331 1010903 0 1291 155 393 303 30.33/30.48 c 1930 57478 4979291 1016388 0 1301 61 204 93 30.53/30.69 c 1940 57863 5016411 1022263 0 1305 222 369 317 30.73/30.89 c 1950 58244 5052713 1028090 0 1312 178 368 278 30.94/31.09 c 1960 58652 5090726 1034119 0 1320 370 384 345 31.13/31.20 c 1970 58762 5106799 1041640 0 1330 56 101 70 31.33/31.40 c 1980 59155 5144418 1047616 0 1333 155 381 307 31.43/31.57 c 1990 59372 5169026 1055196 0 1343 56 207 85 31.63/31.77 c 2000 59778 5207193 1061154 0 1348 167 391 295 31.83/31.97 c 2010 60130 5241081 1066350 0 1354 110 339 259 31.94/32.07 c 2020 60250 5255604 1071893 0 1364 56 111 72 32.13/32.28 c 2030 60653 5293541 1077818 0 1370 161 394 279 32.23/32.39 c 2040 60763 5309848 1085619 0 1380 56 101 70 32.43/32.59 c 2050 61154 5345740 1091289 0 1390 169 382 255 32.53/32.69 c 2060 61279 5360643 1097241 0 1400 56 115 76 32.73/32.89 c 2070 61685 5398010 1103281 0 1404 386 388 351 32.94/33.01 c 2080 61802 5416097 1113041 0 1414 56 107 74 33.13/33.21 c 2090 62216 5453750 1119055 0 1420 202 398 319 33.23/33.31 c 2100 62336 5468839 1125328 0 1430 56 110 76 33.43/33.51 c 2110 62735 5505987 1131313 0 1436 168 386 314 33.53/33.61 c 2120 62855 5521508 1137731 0 1446 56 110 75 33.63/33.72 c 2122 63083 5539473 1141197 0 1448 185 227 137 33.83/33.91 c 2130 63475 5575127 1146940 0 1454 157 384 288 33.94/34.04 c 2140 63691 5594351 1151866 0 1464 61 206 114 34.13/34.22 c 2150 64028 5626279 1159171 0 1472 147 297 240 34.33/34.43 c 2160 64436 5663535 1164863 0 1482 138 399 235 34.43/34.54 c 2170 64571 5680226 1174263 0 1492 68 126 90 34.63/34.74 c 2180 64967 5716845 1179998 0 1500 156 385 275 34.73/34.84 c 2190 65087 5731258 1185569 0 1510 56 111 74 34.94/35.05 c 2200 65488 5769366 1191403 0 1517 139 390 236 35.04/35.16 c 2210 65607 5785891 1199381 0 1527 56 110 75 35.23/35.37 c 2220 66014 5823767 1205146 0 1536 158 398 236 35.33/35.48 c 2230 66133 5841255 1214606 0 1546 56 110 74 35.63/35.70 c 2240 66542 5880617 1220649 0 1551 385 392 355 35.73/35.82 c 2250 66750 5898834 1223561 0 1561 109 199 139 35.94/36.03 c 2260 67154 5936886 1229376 0 1571 141 395 224 36.13/36.21 c 2270 67448 5965362 1233247 0 1581 126 285 160 36.33/36.42 c 2280 67857 6003405 1238993 0 1591 158 400 217 36.43/36.53 c 2290 67976 6020135 1247251 0 1601 56 110 75 36.63/36.74 c 2300 68393 6059463 1253422 0 1604 392 399 360 36.83/36.95 c 2310 68785 6096314 1259110 0 1614 138 383 195 36.94/37.06 c 2320 68971 6113065 1262649 0 1624 110 177 127 37.13/37.27 c 2330 69383 6150708 1268401 0 1632 156 401 242 37.23/37.36 c 2340 69510 6163593 1273109 0 1642 68 118 89 37.43/37.56 c 2350 69915 6199852 1278975 0 1650 151 395 268 37.53/37.69 c 2360 70124 6220155 1284543 0 1660 61 199 101 37.83/37.90 c 2370 70532 6257469 1290512 0 1666 153 397 300 37.94/38.00 c 2380 70655 6273312 1297638 0 1676 56 113 80 38.13/38.21 c 2390 71059 6310345 1303489 0 1685 154 394 287 38.23/38.34 c 2400 71287 6330591 1307040 0 1695 96 219 120 38.43/38.55 c 2410 71708 6370529 1313170 0 1700 183 404 344 38.63/38.76 c 2420 72066 6405419 1319493 0 1709 113 343 200 38.83/38.96 c 2430 72431 6440631 1325384 0 1719 107 355 172 38.83/39.00 c 2431 72487 6446653 1327471 0 1720 56 56 28 39.13/39.21 c 2440 72898 6484757 1333453 0 1723 166 399 315 39.23/39.32 c 2450 73028 6501738 1340364 0 1725 61 112 78 39.43/39.54 c 2460 73452 6543245 1347124 0 1727 165 400 342 39.53/39.64 c 2470 73590 6558321 1352771 0 1729 61 115 88 39.73/39.84 c 2480 73996 6594714 1358465 0 1735 167 395 304 39.82/39.94 c 2490 74116 6609402 1364538 0 1745 56 110 75 40.12/40.25 c solution 1 40.12/40.25 40.12/40.25 v <instantiation type='solution'> 40.12/40.25 v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4] </list> 40.12/40.25 v <values>11 1 20 0 8 2 5 2 12 8 2 5 2 20 12 2 5 4 12 2 8 1 20 23 20 2 9 23 8 2 12 1 20 2 12 2 8 23 20 11 1 8 8 23 20 5 11 23 20 20 1 20 2 12 2 9 2 20 0 8 2 11 1 8 0 20 2 9 2 20 0 8 2 11 2 5 4 12 8 4 5 2 11 7 8 10 20 20 11 7 5 11 23 8 4 5 12 4 12 20 3 12 20 4 12 6 11 7 20 14 6 20 11 12 7 11 20 23 14 7 20 10 20 7 14 20 20 10 12 12 15 20 20 14 12 23 13 20 24 14 20 20 15 12 12 13 23 20 14 12 22 15 20 12 14 20 23 13 12 12 15 20 22 14 19 20 11 20 12 18 22 20 15 12 17 15 22 23 14 12 20 10 20 12 14 20 23 21 19 24 21 23 20 14 24 20 15 20 16 14 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 </values> 40.12/40.25 v </instantiation> 40.12/40.25 40.12/40.25 c restarts : 262 40.12/40.25 c conflicts : 2492 (62 /sec) 40.12/40.25 c decisions : 75318 (1875 /sec) 40.12/40.25 c propagations : 1371118 (34136 /sec) 40.12/40.25 c root propagations : 0 40.12/40.25 c filter calls : 6670746 (166080 /sec) 40.12/40.25 c useless filter calls : 6430926 (96 %) 40.12/40.25 c 40.12/40.25 c clauses : 63945 40.12/40.25 c SAT propagations : 196 40.12/40.25 c SAT conflicts : 0 (0 learnts) 40.12/40.25 c Memory used : 50.16 MB 40.12/40.25 c CPU time : 40.1658 s 40.12/40.25 40.12/40.25 s SATISFIABLE
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14859 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266008-1502578765/watcher-4266008-1502578765 -o /tmp/evaluation-result-4266008-1502578765/solver-4266008-1502578765 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17157 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266008-1502578765.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20798, runsolver pid=20795
Current StackSize limit: 8192 KiB
[startup+0.10038 s]*
/proc/loadavg: 2.21 2.16 2.10 3/181 20799
/proc/meminfo: memFree=31019240/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=34528 memory=10704 CPUtime=0.03 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 2881 0 0 0 3 0 0 0 20 0 1 0 60069839 35356672 2676 18446744073709551615 4194304 5972588 140732315328944 140732315323288 140384168410085 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 8632 2676 753 435 0 1995 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 10704 KiB
[startup+0.209369 s]*
/proc/loadavg: 2.21 2.16 2.10 3/181 20799
/proc/meminfo: memFree=31012968/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=44592 memory=17572 CPUtime=0.15 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 4570 0 0 0 14 1 0 0 20 0 1 0 60069839 45662208 4393 18446744073709551615 4194304 5972588 140732315328944 140732315323288 140384168410085 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 11148 4393 801 435 0 4511 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 44592 KiB
Current children cumulated memory: 17572 KiB
[startup+0.3092 s]*
/proc/loadavg: 2.21 2.16 2.10 3/181 20799
/proc/meminfo: memFree=31011988/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=45516 memory=18364 CPUtime=0.25 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 4782 0 0 0 24 1 0 0 20 0 1 0 60069839 46608384 4591 18446744073709551615 4194304 5972588 140732315328944 140732315325880 5045833 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 11379 4591 801 435 0 4742 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 45516 KiB
Current children cumulated memory: 18364 KiB
[startup+0.700278 s]
/proc/loadavg: 2.21 2.16 2.10 3/181 20799
/proc/meminfo: memFree=31009760/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=47780 memory=20740 CPUtime=0.63 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 5352 0 0 0 62 1 0 0 20 0 1 0 60069839 48926720 5185 18446744073709551615 4194304 5972588 140732315328944 140732315325880 5139312 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 11945 5185 801 435 0 5308 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 47780 KiB
Current children cumulated memory: 20740 KiB
[startup+1.50029 s]
/proc/loadavg: 2.21 2.16 2.10 3/181 20799
/proc/meminfo: memFree=31008732/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=48572 memory=21532 CPUtime=1.43 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 5570 0 0 0 142 1 0 0 20 0 1 0 60069839 49737728 5383 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5139493 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12143 5383 803 435 0 5506 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 48572 KiB
Current children cumulated memory: 21532 KiB
[startup+3.10902 s]
/proc/loadavg: 2.19 2.15 2.10 3/181 20799
/proc/meminfo: memFree=31007896/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50028 memory=22920 CPUtime=3.04 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 9820 0 0 0 303 1 0 0 20 0 1 0 60069839 51228672 5730 18446744073709551615 4194304 5972588 140732315328944 140732315326248 140384168410085 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12507 5730 803 435 0 5870 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 50028 KiB
Current children cumulated memory: 22920 KiB
[startup+6.30028 s]
/proc/loadavg: 2.19 2.15 2.10 3/181 20799
/proc/meminfo: memFree=31006392/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=23680 CPUtime=6.23 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 14463 0 0 0 622 1 0 0 20 0 1 0 60069839 51769344 5920 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5099674 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 5920 803 435 0 6002 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 23680 KiB
[startup+12.7003 s]
/proc/loadavg: 2.16 2.15 2.10 3/181 20799
/proc/meminfo: memFree=31005172/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25880 CPUtime=12.63 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 18889 0 0 0 1262 1 0 0 20 0 1 0 60069839 51769344 6470 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5046736 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6470 803 435 0 6002 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25880 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.14 2.10 3/181 20799
/proc/meminfo: memFree=31004004/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25892 CPUtime=25.43 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 27465 0 0 0 2541 2 0 0 20 0 1 0 60069839 51769344 6473 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5139264 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6473 803 435 0 6002 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25892 KiB
[startup+40.2605 s]
# the end of solver process 20798 was just reported to runsolver
# cumulated CPU time of all completed processes: user=40.1658 s, system=0.029997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.14 2.14 2.10 3/181 20799
/proc/meminfo: memFree=31004004/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25892 CPUtime=25.53 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 27473 0 0 0 2551 2 0 0 20 0 1 0 60069839 51769344 6473 18446744073709551615 4194304 5972588 140732315328944 140732315326248 140384168848480 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6473 803 435 0 6002 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25892 KiB
[startup+32.0003 s]*
/proc/loadavg: 2.12 2.14 2.10 3/181 20800
/proc/meminfo: memFree=31004772/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25892 CPUtime=31.94 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 27563 0 0 0 3192 2 0 0 20 0 1 0 60069839 51769344 6473 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5046736 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6473 803 435 0 6002 0
Current children cumulated CPU time: 31.94 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25892 KiB
[startup+35.2003 s]
/proc/loadavg: 2.12 2.14 2.10 3/181 20800
/proc/meminfo: memFree=31004640/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25892 CPUtime=35.13 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 27572 0 0 0 3511 2 0 0 20 0 1 0 60069839 51769344 6473 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5099664 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6473 803 435 0 6002 0
Current children cumulated CPU time: 35.13 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25892 KiB
[startup+38.4003 s]
/proc/loadavg: 2.11 2.14 2.10 3/181 20800
/proc/meminfo: memFree=31004640/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25896 CPUtime=38.33 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 27581 0 0 0 3831 2 0 0 20 0 1 0 60069839 51769344 6474 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5139490 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6474 803 435 0 6002 0
Current children cumulated CPU time: 38.33 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25896 KiB
[startup+39.2003 s]
/proc/loadavg: 2.11 2.14 2.10 3/181 20800
/proc/meminfo: memFree=31004640/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25896 CPUtime=39.13 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 27587 0 0 0 3911 2 0 0 20 0 1 0 60069839 51769344 6474 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5045821 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6474 803 435 0 6002 0
Current children cumulated CPU time: 39.13 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25896 KiB
[startup+40.0003 s]*
/proc/loadavg: 2.11 2.14 2.10 3/181 20800
/proc/meminfo: memFree=31004640/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25896 CPUtime=39.93 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 31281 0 0 0 3991 2 0 0 20 0 1 0 60069839 51769344 6474 18446744073709551615 4194304 5972588 140732315328944 140732315326248 5244099 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6474 803 435 0 6002 0
Current children cumulated CPU time: 39.93 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25896 KiB
[startup+40.2003 s]
/proc/loadavg: 2.11 2.14 2.10 3/181 20800
/proc/meminfo: memFree=31004640/32770624 swapFree=67108860/67108860
[pid=20798] ppid=20795 vsize=50556 memory=25908 CPUtime=40.12 cores=1,3,5,7
/proc/20798/stat : 20798 (cosoco) R 20795 20798 17093 0 -1 4202496 31841 0 0 0 4010 2 0 0 20 0 1 0 60069839 51769344 6477 18446744073709551615 4194304 5972588 140732315328944 140732315326248 4908956 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17260544 140732315337156 140732315337256 140732315337256 140732315340750 0
/proc/20798/statm: 12639 6477 803 435 0 6002 0
Current children cumulated CPU time: 40.12 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 25908 KiB
Child status: 0
Real time (s): 40.2605
CPU time (s): 40.1958
CPU user time (s): 40.1658
CPU system time (s): 0.029997
CPU usage (%): 99.8394
Max. virtual memory (cumulated for all children) (KiB): 50556
Max. memory (cumulated for all children) (KiB): 25908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.1658
system time used= 0.029997
maximum resident set size= 26760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32185
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= 6
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 20798
# total CPU time (s): 40.1958
# total CPU user time (s): 40.1658
# total CPU system time (s): 0.029997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.171158 second user time and 0.312075 second system time
The end
Begin job on node127 at 2017-08-13 00:45:17 IDJOB=4266008 IDBENCH=128081 IDSOLVER=2655 FILE ID=node127/4266008-1502578765 RUNJOBID= node127-1502565159-17157 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-02.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266008-1502578765/watcher-4266008-1502578765 -o /tmp/evaluation-result-4266008-1502578765/solver-4266008-1502578765 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17157 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266008-1502578765.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7 RANDOM SEED=1163169885 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31026260 kB MemAvailable: 31854204 kB Buffers: 276688 kB Cached: 840028 kB SwapCached: 0 kB Active: 720816 kB Inactive: 598364 kB Active(anon): 202800 kB Inactive(anon): 24908 kB Active(file): 518016 kB Inactive(file): 573456 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2532 kB Writeback: 4 kB AnonPages: 202228 kB Mapped: 47212 kB Shmem: 25252 kB Slab: 130072 kB SReclaimable: 104616 kB SUnreclaim: 25456 kB KernelStack: 3216 kB PageTables: 5128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 473624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-13 00:45:57