| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | UNSAT | 358.604 | 358.64401 |
| Name | Random/Random-RB-3-20-20/ rand-3-20-20-60-632-40.xml |
| MD5SUM | dc4dbad226249f26f24e6fd4bdcbff7b |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 32.698101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 20 |
| Number of constraints | 60 |
| Number of domains | 1 |
| Minimum domain size | 20 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":20,"count":20}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":5,"count":1},{"degree":6,"count":4},{"degree":7,"count":1},{"degree":8,"count":2},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":2},{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":60}] |
| Number of extensional constraints | 60 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":60}] |
| Optimization problem | NO |
| Type of objective |
0.53/0.67 c SAT : Variables: 400 -- Clauses: 3820 0.53/0.68 c root propagations : 0 0.53/0.68 c restarts enabled, print stats at every restarts 0.53/0.68 c 0.53/0.68 c 0.53/0.68 c 0.53/0.68 c This is cosoco 1.12 -- 0.53/0.68 c 0.53/0.68 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266318-1502568114.xml 0.53/0.68 c ========================================[ Problem Statistics ]=========================================== 0.53/0.68 c | 0.53/0.68 c | Parse time : 0.60 s 0.53/0.68 c | 0.53/0.68 c | Variables: 20 0.53/0.68 c | Domain Sizes: 20..20 0.53/0.68 c | 0.53/0.68 c | Constraints: 60 0.53/0.68 c | Arity: 3..3 -- Ternary: 60 0.53/0.68 c | 0.53/0.68 c | Types: 0.53/0.68 c | Extension: 60 (nb tuples: 2944..2944) -- (shared: 0) 0.53/0.68 c | 0.53/0.68 c ========================================================================================================= 0.53/0.68 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.53/0.69 c 10 19 1394 1005 0 1 7 7 6 0.53/0.69 c 20 37 2246 1872 0 5 5 7 5 0.62/0.70 c 30 57 3451 2896 0 10 7 8 6 0.62/0.71 c 40 74 4524 4064 0 12 5 8 5 0.62/0.72 c 50 92 5557 4968 0 19 7 8 7 0.62/0.73 c 60 113 6847 5804 0 22 7 8 6 0.62/0.75 c 70 134 7957 6995 0 27 5 7 5 0.62/0.76 c 80 154 9220 8214 0 29 5 8 6 0.62/0.77 c 90 173 10249 9010 0 32 6 8 6 0.62/0.78 c 100 196 11349 9849 0 35 5 9 6 0.62/0.79 c 101 202 11705 10127 0 36 6 6 3 0.72/0.80 c 110 225 12949 11247 0 40 5 8 6 0.72/0.81 c 120 243 13973 12447 0 45 5 8 5 0.72/0.82 c 130 268 15388 13642 0 54 5 8 6 0.72/0.84 c 140 292 16699 14756 0 56 6 9 7 0.72/0.85 c 150 312 17771 15612 0 60 6 9 6 0.72/0.86 c 160 330 18642 16449 0 68 6 8 5 0.72/0.87 c 170 347 19561 17530 0 76 6 7 5 0.72/0.88 c 180 365 20714 18415 0 78 6 7 5 0.72/0.89 c 190 387 22191 19650 0 83 5 7 5 0.82/0.91 c 200 406 23385 20843 0 90 5 8 5 0.82/0.92 c 210 427 24516 21849 0 96 5 9 7 0.82/0.93 c 211 434 24892 22145 0 97 7 7 3 0.82/0.94 c 220 451 25721 22910 0 104 4 8 6 0.82/0.95 c 230 474 26901 23933 0 108 5 8 6 0.82/0.96 c 240 498 28503 25528 0 115 4 7 5 0.82/0.98 c 250 519 29926 26723 0 120 6 8 6 0.82/0.99 c 260 538 31191 27710 0 121 4 7 4 0.82/1.00 c 270 557 32266 28789 0 130 5 8 5 0.93/1.01 c 280 577 33244 29773 0 140 3 8 5 0.93/1.02 c 290 599 34883 31195 0 145 6 7 5 0.93/1.04 c 300 621 36258 32442 0 148 5 8 5 0.93/1.05 c 310 642 37640 33680 0 157 5 7 5 0.93/1.06 c 320 662 39089 34850 0 162 4 7 4 0.93/1.08 c 330 688 40767 36124 0 167 5 8 5 0.93/1.09 c 332 696 41230 36483 0 169 5 7 4 0.93/1.10 c 340 718 42458 37383 0 172 6 8 6 1.03/1.11 c 350 738 43562 38259 0 176 6 8 6 1.03/1.12 c 360 762 44834 39150 0 181 6 10 7 1.03/1.13 c 370 783 46068 40283 0 185 7 8 6 1.03/1.14 c 380 804 47241 41202 0 193 6 8 6 1.03/1.16 c 390 832 48907 42380 0 198 8 9 7 1.03/1.17 c 400 853 50345 43561 0 202 6 7 6 1.03/1.18 c 410 872 51433 44477 0 205 6 9 6 1.03/1.19 c 420 894 52715 45456 0 212 6 8 6 1.12/1.21 c 430 921 54531 46938 0 218 5 8 6 1.12/1.22 c 440 941 55867 48012 0 225 6 8 6 1.12/1.24 c 450 961 57235 49048 0 229 5 8 6 1.12/1.25 c 460 980 58097 49783 0 230 7 9 6 1.12/1.26 c 465 993 58889 50456 0 234 5 8 5 1.12/1.27 c 470 1011 59872 51224 0 239 5 9 5 1.12/1.28 c 480 1029 61007 52376 0 244 5 7 5 1.12/1.29 c 490 1048 62149 53468 0 249 5 7 5 1.22/1.31 c 500 1068 63510 54717 0 252 5 7 5 1.22/1.32 c 510 1088 64825 55918 0 258 5 7 5 1.22/1.33 c 520 1110 65901 56824 0 261 4 9 6 1.22/1.35 c 530 1135 67554 58399 0 268 7 10 7 1.22/1.36 c 540 1155 68408 59298 0 277 4 7 4 1.22/1.37 c 550 1175 69324 60210 0 286 5 8 5 1.22/1.39 c 560 1193 70689 61462 0 291 6 6 5 1.32/1.40 c 570 1217 72134 62510 0 296 6 9 6 1.32/1.41 c 580 1240 73346 63431 0 299 6 9 6 1.32/1.43 c 590 1263 74813 64661 0 302 7 10 7 1.32/1.44 c 600 1287 76125 65783 0 305 5 7 5 1.32/1.46 c 610 1303 77264 66922 0 306 5 6 4 1.32/1.46 c 611 1311 77750 67238 0 307 8 8 4 1.32/1.47 c 620 1330 78741 67967 0 308 6 9 6 1.32/1.49 c 630 1348 79885 69082 0 315 6 7 5 1.43/1.50 c 640 1370 81075 70191 0 318 6 8 6 1.43/1.51 c 650 1391 82434 71463 0 325 6 9 6 1.43/1.53 c 660 1417 83976 72739 0 327 6 9 6 1.43/1.54 c 670 1438 85101 73795 0 330 5 8 6 1.43/1.56 c 680 1464 86855 75078 0 332 6 8 6 1.43/1.57 c 690 1483 87656 75908 0 339 4 7 4 1.43/1.58 c 700 1506 88719 76791 0 347 4 8 4 1.53/1.60 c 710 1523 89768 77973 0 356 5 7 5 1.53/1.61 c 720 1556 91428 79285 0 361 4 9 6 1.53/1.62 c 730 1574 92436 80145 0 370 6 8 5 1.53/1.64 c 740 1598 93687 81188 0 373 5 8 6 1.53/1.65 c 750 1615 94570 82269 0 383 7 8 6 1.53/1.66 c 760 1640 96277 83731 0 388 5 8 5 1.53/1.68 c 770 1659 97540 84669 0 390 6 8 6 1.53/1.69 c 771 1665 97960 84961 0 391 6 6 3 1.63/1.70 c 780 1683 98969 85729 0 395 7 9 7 1.63/1.71 c 790 1707 100251 86797 0 399 6 8 6 1.63/1.72 c 800 1732 101945 88231 0 407 5 9 7 1.63/1.74 c 810 1755 103444 89417 0 409 7 8 6 1.63/1.75 c 820 1774 104441 90270 0 418 7 9 6 1.63/1.76 c 830 1799 106288 91537 0 420 5 8 5 1.63/1.78 c 840 1824 107743 92827 0 427 5 9 6 1.63/1.78 c 850 1841 108497 93503 0 433 6 8 6 1.73/1.80 c 860 1866 109850 94536 0 435 5 10 6 1.73/1.81 c 870 1889 111411 95884 0 439 7 9 7 1.73/1.82 c 880 1909 112658 97216 0 446 5 7 5 1.73/1.84 c 890 1934 114190 98351 0 451 5 9 6 1.73/1.85 c 900 1958 115546 99393 0 454 5 8 6 1.73/1.87 c 910 1983 117090 100491 0 457 6 8 6 1.73/1.88 c 920 2003 118081 101292 0 464 5 8 5 1.73/1.89 c 930 2028 119606 102524 0 467 5 8 5 1.83/1.91 c 940 2051 120835 103535 0 473 5 8 5 1.83/1.92 c 947 2072 121927 104465 0 477 5 8 5 1.83/1.94 c 950 2083 122571 104868 0 480 5 9 5 1.83/1.95 c 960 2105 123868 105898 0 486 5 8 5 1.83/1.96 c 970 2123 125008 106831 0 492 4 8 5 1.83/1.98 c 980 2143 126363 107811 0 493 5 9 6 1.83/1.99 c 990 2168 127788 108875 0 497 5 8 5 1.83/2.00 c 1000 2188 129081 109801 0 504 5 8 5 1.94/2.02 c 1010 2210 130255 110862 0 506 7 9 6 1.94/2.03 c 1020 2232 131952 112327 0 508 5 8 5 1.94/2.04 c 1030 2251 132815 113167 0 512 7 9 7 1.94/2.06 c 1040 2273 134381 114433 0 515 5 8 5 1.94/2.07 c 1050 2296 135533 115153 0 519 6 8 7 1.94/2.08 c 1060 2315 136828 116203 0 525 5 6 5 1.94/2.09 c 1070 2336 138127 117294 0 530 5 7 5 2.04/2.11 c 1080 2356 139367 118419 0 532 5 7 5 2.04/2.13 c 1090 2381 140870 119651 0 538 5 8 6 2.04/2.14 c 1100 2402 142156 120730 0 541 6 8 6 2.04/2.16 c 1110 2423 143133 121511 0 549 4 9 5 2.04/2.17 c 1120 2446 144337 122273 0 552 7 10 7 2.04/2.18 c 1130 2470 145618 123380 0 557 6 8 6 2.04/2.19 c 1140 2493 146835 124262 0 563 6 9 7 2.13/2.20 c 1141 2500 147214 124544 0 564 7 7 3 2.13/2.21 c 1150 2517 148187 125264 0 567 5 9 6 2.13/2.22 c 1160 2538 149213 126241 0 574 6 8 6 2.13/2.24 c 1170 2566 150826 127610 0 579 5 8 6 2.13/2.25 c 1180 2584 151835 128700 0 585 5 8 5 2.13/2.26 c 1190 2604 153031 129812 0 594 5 7 5 2.13/2.28 c 1200 2629 154289 130814 0 599 6 10 7 2.13/2.29 c 1210 2648 155398 131566 0 604 6 7 6 2.23/2.30 c 1220 2667 156459 132448 0 611 6 7 6 2.23/2.31 c 1230 2685 157544 133411 0 617 5 7 5 2.23/2.32 c 1240 2703 158791 134574 0 622 6 8 6 2.23/2.33 c 1250 2723 159637 135248 0 631 7 10 7 2.23/2.35 c 1260 2748 161397 136626 0 634 6 8 6 2.23/2.36 c 1270 2763 162277 137609 0 643 5 6 4 2.23/2.37 c 1280 2784 163206 138374 0 653 7 10 6 2.23/2.38 c 1290 2808 164473 139372 0 656 8 9 7 2.23/2.39 c 1300 2826 165433 140149 0 657 7 8 6 2.32/2.40 c 1310 2844 166422 141215 0 666 6 7 5 2.32/2.41 c 1320 2865 167557 142044 0 673 7 10 7 2.32/2.43 c 1330 2883 168620 143025 0 675 5 7 5 2.32/2.44 c 1340 2906 170093 144205 0 680 5 9 6 2.32/2.45 c 1350 2930 171252 145041 0 682 6 8 6 2.32/2.46 c 1352 2936 171595 145312 0 684 3 5 2 2.32/2.47 c 1360 2955 172772 146093 0 685 5 9 6 2.32/2.49 c 1370 2981 174487 147404 0 691 4 8 5 2.42/2.50 c 1380 3003 175680 148359 0 701 5 9 6 2.42/2.52 c 1390 3023 176736 149425 0 709 7 8 6 2.42/2.53 c 1400 3042 177960 151038 0 719 5 7 5 2.42/2.54 c 1410 3064 179295 152077 0 722 6 8 6 2.42/2.56 c 1420 3085 180544 153001 0 725 4 8 5 2.42/2.58 c 1430 3110 181918 154003 0 730 4 9 5 2.42/2.59 c 1440 3132 183126 155083 0 735 4 8 5 2.52/2.60 c 1450 3153 184595 156162 0 741 5 8 6 2.52/2.62 c 1460 3176 185905 157240 0 746 4 7 5 2.52/2.63 c 1470 3196 186974 158010 0 754 7 9 7 2.52/2.64 c 1480 3218 188192 159073 0 759 7 9 7 2.52/2.65 c 1490 3247 189658 160034 0 763 5 8 6 2.52/2.66 c 1500 3266 190637 160669 0 773 7 9 6 2.52/2.67 c 1510 3287 191570 161558 0 779 8 10 8 2.52/2.69 c 1520 3312 192949 162606 0 785 7 9 7 2.62/2.70 c 1530 3338 194313 163653 0 789 6 8 6 2.62/2.71 c 1540 3367 195927 164688 0 791 6 11 7 2.62/2.72 c 1550 3388 197361 165914 0 793 5 8 6 2.62/2.74 c 1560 3409 198381 166723 0 795 4 8 6 2.62/2.75 c 1570 3431 199963 167955 0 796 7 8 7 2.62/2.76 c 1580 3453 200932 168795 0 799 9 9 8 2.62/2.77 c 1585 3464 201506 169350 0 803 5 7 4 2.62/2.78 c 1590 3477 202214 169991 0 804 6 9 5 2.72/2.80 c 1600 3497 203666 171140 0 809 4 8 5 2.72/2.81 c 1610 3519 204981 172072 0 816 5 8 7 2.72/2.82 c 1620 3542 206315 173142 0 818 5 8 5 2.72/2.83 c 1630 3562 207130 173707 0 820 5 10 8 2.72/2.85 c 1640 3584 208633 174944 0 825 6 9 6 2.72/2.86 c 1650 3604 210015 176255 0 831 5 7 5 2.72/2.87 c 1660 3625 211030 177049 0 838 6 10 7 2.72/2.88 c 1670 3643 212091 177873 0 839 7 9 6 2.82/2.90 c 1680 3669 213633 179103 0 842 4 8 5 2.82/2.91 c 1690 3688 214710 179919 0 845 8 8 7 2.82/2.92 c 1700 3706 215303 180403 0 854 8 9 7 2.82/2.93 c 1710 3724 216303 181273 0 859 5 7 5 2.82/2.94 c 1720 3745 217494 182105 0 866 6 9 6 2.82/2.95 c 1730 3762 218472 183124 0 867 5 7 5 2.82/2.97 c 1740 3783 219545 184028 0 872 4 9 5 2.82/2.98 c 1750 3804 220790 185218 0 878 4 7 4 2.82/2.99 c 1760 3821 221862 186141 0 880 6 7 5 2.82/3.00 c 1770 3839 222932 187239 0 888 5 7 5 2.93/3.02 c 1780 3857 224132 188304 0 891 6 7 5 2.93/3.03 c 1790 3883 225373 189372 0 892 5 9 6 2.93/3.04 c 1800 3903 226252 190013 0 902 5 9 6 2.93/3.05 c 1810 3924 227563 190874 0 906 6 8 6 2.93/3.06 c 1820 3946 228821 191894 0 908 6 8 6 2.93/3.08 c 1830 3962 229767 192859 0 912 4 6 4 2.93/3.09 c 1840 3981 231049 193934 0 915 5 7 6 2.93/3.10 c 1841 3987 231454 194203 0 916 6 6 3 3.03/3.11 c 1850 4008 232839 195330 0 920 7 8 6 3.03/3.13 c 1860 4033 234399 196273 0 923 6 9 7 3.03/3.14 c 1870 4051 235206 197114 0 931 7 9 6 3.03/3.15 c 1880 4074 236601 198092 0 933 6 8 6 3.03/3.17 c 1890 4093 237927 199231 0 937 5 7 5 3.03/3.19 c 1900 4113 239557 200671 0 942 4 7 4 3.12/3.20 c 1910 4134 240699 201470 0 945 5 8 6 3.12/3.21 c 1920 4162 242490 202691 0 950 5 8 6 3.12/3.23 c 1930 4181 244032 204092 0 956 5 7 5 3.12/3.24 c 1940 4201 245222 204882 0 958 5 9 6 3.12/3.25 c 1950 4220 246289 205718 0 961 7 8 6 3.12/3.27 c 1960 4243 247525 206736 0 967 5 8 6 3.12/3.28 c 1970 4267 249351 208299 0 975 5 7 5 3.12/3.29 c 1980 4287 250481 209165 0 979 6 7 6 3.22/3.31 c 1990 4309 252024 210316 0 985 5 8 5 3.22/3.32 c 2000 4330 253217 211361 0 992 4 7 5 3.22/3.33 c 2010 4345 253897 211980 0 993 5 6 4 3.22/3.34 c 2020 4366 255032 212880 0 996 4 8 5 3.22/3.36 c 2030 4385 256353 214063 0 1000 6 7 6 3.22/3.37 c 2040 4401 257344 214946 0 1001 5 7 4 3.22/3.38 c 2050 4420 258448 215989 0 1007 4 7 4 3.22/3.39 c 2060 4437 259338 217075 0 1014 5 8 5 3.32/3.41 c 2070 4456 260776 218503 0 1016 4 6 4 3.32/3.42 c 2080 4480 262403 219628 0 1021 6 9 6 3.32/3.44 c 2090 4501 263566 220614 0 1023 5 7 5 3.32/3.45 c 2100 4520 264661 221525 0 1033 6 10 5 3.32/3.46 c 2110 4545 266391 222951 0 1040 7 9 7 3.32/3.48 c 2120 4567 267853 224022 0 1044 6 8 6 3.32/3.49 c 2122 4577 268570 224522 0 1046 6 8 4 3.42/3.50 c 2130 4592 269426 225219 0 1047 7 8 6 3.42/3.51 c 2140 4613 270635 226121 0 1049 5 8 6 3.42/3.53 c 2150 4641 272356 227554 0 1053 5 9 6 3.42/3.54 c 2160 4662 273932 228852 0 1058 5 8 6 3.42/3.55 c 2170 4678 275051 229906 0 1064 5 6 5 3.42/3.57 c 2180 4704 276586 231311 0 1071 4 8 5 3.42/3.58 c 2190 4725 277912 232435 0 1074 5 7 5 3.42/3.59 c 2200 4747 279140 233344 0 1078 5 8 6 3.52/3.60 c 2210 4769 280380 234445 0 1083 5 8 5 3.52/3.62 c 2220 4788 281975 235635 0 1086 6 7 5 3.52/3.63 c 2230 4805 282906 236572 0 1089 5 7 5 3.52/3.64 c 2240 4823 283925 237489 0 1097 5 7 5 3.52/3.66 c 2250 4850 285910 239178 0 1104 5 7 5 3.52/3.67 c 2260 4868 286923 240157 0 1112 4 8 5 3.52/3.68 c 2270 4888 288316 241384 0 1114 5 7 5 3.62/3.70 c 2280 4915 290091 242849 0 1120 5 8 6 3.62/3.71 c 2290 4934 291191 244001 0 1123 5 7 5 3.62/3.73 c 2300 4956 292533 244843 0 1131 5 7 5 3.62/3.74 c 2310 4975 293484 245801 0 1141 6 8 5 3.62/3.75 c 2320 4994 294956 246837 0 1145 6 7 5 3.62/3.77 c 2330 5020 296253 247631 0 1150 8 10 8 3.62/3.78 c 2340 5036 297221 248613 0 1160 6 7 5 3.62/3.79 c 2350 5058 298637 249586 0 1165 5 8 6 3.72/3.81 c 2360 5084 300061 250777 0 1169 7 9 7 3.72/3.82 c 2370 5102 301415 251975 0 1177 4 6 4 3.72/3.84 c 2380 5130 303140 253359 0 1181 6 10 6 3.72/3.85 c 2390 5147 303980 254376 0 1187 7 8 6 3.72/3.86 c 2400 5166 305170 255429 0 1191 5 7 5 3.72/3.87 c 2410 5184 306250 256338 0 1194 6 7 5 3.72/3.89 c 2420 5204 307787 257734 0 1195 5 7 5 3.82/3.90 c 2430 5224 309382 259071 0 1200 5 7 5 3.82/3.91 c 2431 5232 309876 259397 0 1201 8 8 4 3.82/3.93 c 2440 5257 311328 260458 0 1203 5 9 6 3.82/3.94 c 2450 5288 313035 261822 0 1208 8 9 7 3.82/3.96 c 2460 5312 314863 263387 0 1209 5 7 6 3.82/3.97 c 2470 5333 316043 264307 0 1213 7 8 6 3.82/3.98 c 2480 5352 317195 265229 0 1214 6 8 6 3.82/3.99 c 2490 5367 318061 265993 0 1215 5 6 4 3.93/4.01 c 2500 5383 319013 267288 0 1222 5 7 5 3.93/4.02 c 2510 5402 320176 268184 0 1223 7 8 7 3.93/4.03 c 2520 5421 321249 269113 0 1226 5 8 6 3.93/4.04 c 2530 5440 322368 270396 0 1236 5 7 5 3.93/4.06 c 2540 5457 323595 271594 0 1238 5 8 5 3.93/4.07 c 2550 5478 325117 272893 0 1240 4 7 5 3.93/4.08 c 2560 5503 326491 273884 0 1247 6 9 6 3.93/4.10 c 2570 5522 327341 274762 0 1257 4 7 4 4.03/4.11 c 2580 5545 328680 275865 0 1260 5 9 6 4.03/4.13 c 2590 5567 330235 277062 0 1265 5 8 6 4.03/4.14 c 2600 5588 331356 278095 0 1271 5 8 5 4.03/4.15 c 2610 5607 332546 279074 0 1275 5 8 6 4.03/4.17 c 2620 5631 333892 280113 0 1281 5 8 5 4.03/4.19 c 2630 5660 335569 281377 0 1283 5 8 6 4.12/4.20 c 2640 5685 337258 282784 0 1286 7 8 6 4.12/4.22 c 2650 5707 338453 283778 0 1290 6 8 6 4.12/4.23 c 2660 5726 339632 284740 0 1297 5 7 5 4.12/4.24 c 2670 5750 340827 285679 0 1307 5 8 5 4.12/4.26 c 2680 5772 341935 286657 0 1316 4 8 5 4.12/4.27 c 2690 5804 343655 287941 0 1318 5 10 6 4.12/4.29 c 2700 5828 345561 289396 0 1321 6 8 6 4.22/4.30 c 2710 5852 346992 290509 0 1325 5 8 5 4.22/4.32 c 2720 5874 348600 291921 0 1329 5 7 5 4.22/4.33 c 2730 5891 349667 292829 0 1330 6 7 5 4.22/4.34 c 2740 5919 351274 294070 0 1332 6 9 6 4.22/4.36 c 2750 5942 352509 294965 0 1337 7 9 7 4.22/4.37 c 2760 5968 353995 295950 0 1343 6 9 7 4.22/4.38 c 2770 5984 354715 296737 0 1352 5 7 4 4.22/4.39 c 2771 5989 355079 296917 0 1353 5 5 2 4.32/4.40 c 2780 6006 356141 297888 0 1357 5 7 5 4.32/4.42 c 2790 6027 357350 298970 0 1364 6 7 5 4.32/4.43 c 2800 6049 358583 299973 0 1370 4 7 5 4.32/4.44 c 2810 6071 359905 301157 0 1372 6 8 6 4.32/4.46 c 2820 6090 361051 302309 0 1377 5 8 5 4.32/4.47 c 2830 6112 362447 303470 0 1381 5 8 5 4.32/4.49 c 2840 6136 364055 304820 0 1383 5 8 6 4.42/4.50 c 2850 6160 365610 305961 0 1388 6 8 6 4.42/4.51 c 2860 6182 366791 306937 0 1395 5 8 5 4.42/4.53 c 2870 6201 367898 308037 0 1400 4 8 5 4.42/4.54 c 2880 6224 369268 309181 0 1406 5 10 6 4.93/5.01 c 2890 6248 370651 310379 0 1415 4 8 5 4.93/5.01 c 2900 6268 371673 311143 0 1416 7 9 7 4.93/5.01 c 2910 6286 372684 312101 0 1425 7 8 6 4.93/5.01 c 2920 6305 373852 313153 0 1428 6 7 5 4.93/5.01 c 2930 6327 375286 314069 0 1432 7 10 8 4.93/5.01 c 2940 6350 376691 315205 0 1435 6 8 6 4.93/5.01 c 2950 6368 377757 316151 0 1440 5 8 5 4.93/5.01 c 2960 6392 379339 317224 0 1444 5 9 6 4.93/5.01 c 2970 6415 380604 318230 0 1448 5 8 6 4.93/5.01 c 2980 6437 382186 319466 0 1453 5 6 5 4.93/5.01 c 2990 6460 383668 320541 0 1458 5 9 6 4.93/5.01 c 3000 6482 385015 321781 0 1464 5 7 5 4.93/5.01 c 3010 6498 385765 322419 0 1473 5 7 5 4.93/5.01 c 3020 6517 387001 323685 0 1481 5 7 5 4.93/5.01 c 3030 6535 387973 324549 0 1489 5 7 5 4.93/5.01 c 3040 6554 389068 325349 0 1492 4 8 5 4.93/5.01 c 3050 6578 390408 326343 0 1496 5 8 6 4.93/5.01 c 3060 6605 392005 327474 0 1501 6 10 7 4.93/5.01 c 3070 6623 392903 328341 0 1506 6 7 5 4.93/5.01 c 3080 6647 394731 329794 0 1508 5 7 5 4.93/5.01 c 3090 6666 395866 330714 0 1514 5 8 4 4.93/5.01 c 3100 6688 397214 331989 0 1518 5 7 5 4.93/5.01 c 3110 6710 398464 333143 0 1526 6 9 6 4.93/5.01 c 3120 6732 399842 334204 0 1531 6 7 5 4.93/5.01 c 3130 6756 401171 335115 0 1535 6 9 6 4.93/5.01 c 3140 6785 402748 336126 0 1538 6 11 7 4.93/5.01 c 3142 6792 403258 336555 0 1540 5 6 3 4.93/5.01 c 3150 6811 404556 337605 0 1547 4 8 4 4.93/5.01 c 3160 6838 406110 338814 0 1550 6 8 6 4.93/5.01 c 3170 6862 407611 339860 0 1555 7 9 7 4.93/5.01 c 3180 6887 409453 341362 0 1559 5 7 5 4.93/5.01 c 3190 6910 410917 342960 0 1566 5 7 5 4.93/5.01 c 3200 6929 411983 343902 0 1572 6 7 5 4.93/5.01 c 3210 6949 413267 344962 0 1577 5 7 5 4.93/5.01 c 3220 6971 414912 346801 0 1583 4 8 4 4.93/5.03 c 3230 6990 416132 347991 0 1590 5 7 5 4.93/5.04 c 3240 7015 417860 349261 0 1597 5 8 5 4.93/5.05 c 3250 7034 419069 350465 0 1602 6 8 6 4.93/5.07 c 3260 7058 420384 351411 0 1604 5 10 7 4.93/5.09 c 3270 7084 421949 352630 0 1611 6 9 7 4.93/5.10 c 3280 7106 423053 353702 0 1619 5 8 5 5.03/5.11 c 3290 7130 424516 354852 0 1624 6 7 6 5.03/5.13 c 3300 7148 425833 356216 0 1633 5 6 5 5.03/5.14 c 3310 7174 427416 357321 0 1637 8 9 7 5.03/5.16 c 3320 7190 428296 358554 0 1646 5 7 4 5.03/5.17 c 3330 7211 429654 359691 0 1649 4 8 5 5.03/5.19 c 3340 7236 431118 361011 0 1654 4 8 5 5.12/5.20 c 3350 7255 432050 361663 0 1661 7 9 7 5.12/5.21 c 3360 7277 433275 362634 0 1668 6 9 7 5.12/5.22 c 3370 7301 434608 363588 0 1671 8 9 7 5.12/5.24 c 3380 7321 435749 364717 0 1677 6 8 5 5.12/5.25 c 3390 7343 436991 365583 0 1685 8 9 7 5.12/5.26 c 3400 7362 438151 366473 0 1687 5 7 5 5.12/5.27 c 3410 7389 439773 367606 0 1691 6 9 6 5.12/5.29 c 3420 7411 441107 368763 0 1698 4 9 5 5.22/5.30 c 3430 7434 442564 369749 0 1704 5 8 5 5.22/5.31 c 3440 7456 443847 370813 0 1706 5 8 5 5.22/5.33 c 3450 7475 445021 371757 0 1709 5 7 5 5.22/5.34 c 3460 7495 446166 372721 0 1712 3 9 5 5.22/5.36 c 3470 7515 447572 374254 0 1720 5 7 5 5.22/5.37 c 3480 7536 448622 375218 0 1728 5 8 6 5.22/5.39 c 3490 7559 450408 376820 0 1734 5 7 5 5.32/5.40 c 3500 7581 451602 377894 0 1737 6 9 6 5.32/5.41 c 3510 7601 452435 378635 0 1747 5 8 6 5.32/5.42 c 3520 7620 453585 379667 0 1751 7 8 6 5.32/5.44 c 3530 7646 455080 380866 0 1754 6 8 6 5.32/5.45 c 3540 7669 456635 382032 0 1758 6 7 5 5.32/5.47 c 3550 7698 458483 383589 0 1761 7 9 7 5.32/5.48 c 3551 7706 458938 383891 0 1762 8 8 4 5.32/5.49 c 3560 7724 460036 384698 0 1766 6 8 6 5.42/5.51 c 3570 7744 461334 385849 0 1772 5 7 5 5.42/5.52 c 3580 7769 463401 387388 0 1777 5 8 5 5.42/5.53 c 3590 7789 464349 388180 0 1782 5 7 5 5.42/5.55 c 3600 7806 465305 389093 0 1791 7 8 6 5.42/5.56 c 3610 7823 465917 389645 0 1801 6 7 5 5.42/5.57 c 3620 7848 467558 390918 0 1804 5 8 6 5.42/5.59 c 3630 7869 468792 392246 0 1810 5 7 5 5.52/5.60 c 3640 7885 469639 393073 0 1819 6 7 5 5.52/5.61 c 3650 7909 471217 394179 0 1824 7 9 7 5.52/5.63 c 3660 7931 472599 395124 0 1828 6 8 6 5.52/5.64 c 3670 7952 473866 396106 0 1833 5 8 6 5.52/5.65 c 3680 7968 474614 397041 0 1843 5 7 4 5.52/5.67 c 3690 7989 476094 398313 0 1848 4 7 5 5.52/5.68 c 3700 8007 477088 399121 0 1854 6 8 5 5.52/5.69 c 3710 8024 477965 400087 0 1861 6 8 6 5.62/5.70 c 3720 8040 478624 400838 0 1870 6 7 5 5.62/5.71 c 3730 8057 479545 401627 0 1872 5 8 6 5.62/5.73 c 3740 8078 480959 402767 0 1878 5 8 5 5.62/5.74 c 3750 8098 481973 403524 0 1887 5 9 5 5.62/5.75 c 3760 8118 483172 404373 0 1890 8 8 7 5.62/5.76 c 3770 8140 484497 405477 0 1895 5 7 5 5.62/5.77 c 3780 8159 485826 406914 0 1902 5 7 5 5.62/5.79 c 3790 8181 487074 407993 0 1907 5 7 5 5.72/5.80 c 3800 8206 488321 409037 0 1913 6 8 6 5.72/5.81 c 3810 8224 489269 409865 0 1917 6 7 5 5.72/5.83 c 3820 8246 490318 410797 0 1927 6 8 5 5.72/5.84 c 3830 8267 491602 411717 0 1932 6 8 6 5.72/5.85 c 3840 8290 492837 412719 0 1937 6 8 6 5.72/5.86 c 3850 8306 493634 413385 0 1946 6 7 5 5.72/5.87 c 3860 8326 494832 414379 0 1950 6 8 5 5.72/5.88 c 3870 8346 496169 415534 0 1952 5 8 6 5.82/5.90 c 3880 8366 497453 416563 0 1956 6 9 5 5.82/5.91 c 3890 8389 498821 417693 0 1960 5 9 6 5.82/5.92 c 3900 8408 499859 418626 0 1963 5 8 5 5.82/5.94 c 3910 8431 501653 420373 0 1966 5 7 5 5.82/5.95 c 3920 8453 503008 421661 0 1973 5 7 5 5.82/5.97 c 3930 8480 504518 422951 0 1976 6 8 6 5.82/5.98 c 3940 8501 505747 424030 0 1978 5 8 5 5.82/5.99 c 3950 8522 507147 425131 0 1986 6 8 6 5.82/6.00 c 3960 8540 508203 425997 0 1992 6 7 6 5.93/6.02 c 3970 8563 509337 426952 0 2002 5 9 5 5.93/6.03 c 3980 8587 510741 428098 0 2009 4 8 5 5.93/6.04 c 3990 8604 511756 429170 0 2014 5 8 5 5.93/6.05 c 4000 8622 512615 430109 0 2023 6 8 5 5.93/6.06 c 4001 8628 512958 430345 0 2024 6 6 3 5.93/6.07 c 4010 8644 513768 431380 0 2029 5 7 5 5.93/6.09 c 4020 8663 515086 432583 0 2033 4 7 5 5.93/6.10 c 4030 8689 516782 433682 0 2036 6 9 6 6.03/6.12 c 4040 8713 518174 434791 0 2039 7 9 7 6.03/6.13 c 4050 8732 519128 435790 0 2046 6 7 5 6.03/6.14 c 4060 8754 520467 436802 0 2053 5 9 6 6.03/6.15 c 4070 8774 521520 437557 0 2059 5 7 5 6.03/6.17 c 4080 8795 522680 438466 0 2061 6 7 5 6.03/6.18 c 4090 8820 523995 439279 0 2066 8 9 7 6.12/6.20 c 4100 8839 525293 440408 0 2068 3 7 5 6.12/6.21 c 4110 8858 526384 441621 0 2076 5 8 5 6.12/6.23 c 4120 8882 527912 442722 0 2080 4 9 6 6.12/6.24 c 4130 8904 529285 443969 0 2086 5 8 5 6.12/6.26 c 4140 8928 530831 445085 0 2093 4 9 6 6.12/6.27 c 4150 8949 532145 446086 0 2099 6 8 6 6.12/6.28 c 4160 8969 533443 447241 0 2106 5 7 5 6.22/6.30 c 4170 8993 535254 449103 0 2112 6 8 5 6.22/6.31 c 4180 9013 536550 450200 0 2113 6 8 6 6.22/6.33 c 4190 9033 537879 451173 0 2115 6 7 6 6.22/6.34 c 4200 9053 539389 452600 0 2119 5 7 5 6.22/6.35 c 4210 9070 540535 453591 0 2122 5 7 5 6.22/6.36 c 4220 9087 541411 454381 0 2131 5 7 4 6.22/6.38 c 4230 9112 542777 455383 0 2138 5 8 6 6.22/6.39 c 4240 9139 544531 456825 0 2144 6 8 6 6.32/6.41 c 4250 9160 545823 457785 0 2148 5 7 5 6.32/6.42 c 4260 9183 547523 459081 0 2150 6 8 6 6.32/6.44 c 4270 9203 548817 460124 0 2152 5 8 5 6.32/6.45 c 4280 9226 550398 461287 0 2161 5 8 5 6.32/6.47 c 4290 9248 552085 462543 0 2164 6 7 6 6.32/6.48 c 4300 9267 553371 463638 0 2169 5 8 5 6.42/6.50 c 4310 9296 555354 465003 0 2175 6 8 6 6.42/6.51 c 4320 9313 556160 466266 0 2185 5 8 4 6.42/6.52 c 4330 9334 557335 467237 0 2190 5 8 6 6.42/6.54 c 4340 9352 558459 468127 0 2191 6 8 5 6.42/6.55 c 4350 9372 559851 469414 0 2197 5 8 5 6.42/6.56 c 4360 9389 560684 470113 0 2203 6 8 6 6.42/6.58 c 4370 9410 562434 471737 0 2206 6 6 5 6.42/6.59 c 4380 9430 563848 473251 0 2212 5 7 5 6.52/6.61 c 4390 9449 565262 474352 0 2214 5 6 5 6.52/6.62 c 4400 9468 566599 475780 0 2219 5 7 5 6.52/6.64 c 4410 9489 567934 476757 0 2224 5 8 5 6.52/6.65 c 4420 9512 569464 477997 0 2231 5 8 6 6.52/6.66 c 4430 9531 570712 479025 0 2239 5 8 5 6.52/6.68 c 4440 9556 572499 480448 0 2242 5 8 5 6.62/6.70 c 4450 9577 573913 481723 0 2246 5 7 5 6.62/6.71 c 4460 9602 575657 483064 0 2247 5 8 5 6.62/6.73 c 4470 9624 577368 484585 0 2248 5 7 5 6.62/6.74 c 4480 9644 578601 485877 0 2251 5 8 5 6.62/6.76 c 4490 9671 580763 487362 0 2256 5 8 5 6.62/6.77 c 4493 9680 581406 487856 0 2257 6 7 4 6.62/6.78 c 4500 9699 582785 488888 0 2260 5 8 5 6.62/6.80 c 4510 9718 583880 490128 0 2268 5 7 5 6.72/6.81 c 4520 9740 585416 491193 0 2271 6 8 6 6.72/6.82 c 4530 9760 586776 492739 0 2277 5 7 5 6.72/6.84 c 4540 9781 587916 493661 0 2282 7 7 6 6.72/6.85 c 4550 9806 589400 495241 0 2290 5 8 5 6.72/6.87 c 4560 9835 591261 496540 0 2293 5 8 6 6.72/6.88 c 4570 9857 592633 497564 0 2296 6 9 7 6.72/6.90 c 4580 9880 594007 498785 0 2300 5 8 5 6.82/6.91 c 4590 9906 595829 499951 0 2304 6 8 6 6.82/6.92 c 4600 9926 596781 500918 0 2313 6 8 6 6.82/6.94 c 4610 9955 598300 502094 0 2317 5 9 6 6.82/6.95 c 4620 9974 599352 502851 0 2323 5 8 5 6.82/6.97 c 4630 9994 600667 504057 0 2331 5 8 5 6.82/6.98 c 4640 10012 601804 505307 0 2338 5 7 5 6.82/6.99 c 4650 10028 602728 506073 0 2345 5 7 5 6.82/7.00 c 4660 10047 603673 506976 0 2351 4 8 6 6.93/7.02 c 4670 10071 605272 508455 0 2358 5 8 5 6.93/7.03 c 4680 10090 606167 509242 0 2368 5 7 4 6.93/7.04 c 4690 10108 606983 509787 0 2376 6 8 5 6.93/7.06 c 4700 10133 608613 510828 0 2378 5 8 5 6.93/7.07 c 4710 10149 609339 511756 0 2386 5 7 5 6.93/7.08 c 4720 10167 610389 512791 0 2392 5 8 5 6.93/7.10 c 4730 10190 612002 514164 0 2396 5 8 6 7.03/7.11 c 4740 10207 612805 514752 0 2404 5 7 5 7.03/7.12 c 4750 10229 614415 516009 0 2410 6 8 6 7.03/7.13 c 4760 10252 615752 516938 0 2411 6 8 6 7.03/7.15 c 4770 10272 616754 517732 0 2416 5 8 5 7.03/7.16 c 4780 10287 617464 518693 0 2426 4 6 3 7.03/7.17 c 4790 10306 618654 519621 0 2430 5 7 5 7.03/7.19 c 4800 10325 619924 520650 0 2434 5 7 5 7.12/7.20 c 4810 10344 621028 521463 0 2442 6 8 5 7.12/7.21 c 4820 10361 621873 522163 0 2444 6 7 5 7.12/7.22 c 4830 10378 622792 522991 0 2453 5 7 5 7.12/7.24 c 4840 10403 624257 524012 0 2457 6 9 6 7.12/7.25 c 4850 10421 625475 525151 0 2466 5 7 5 7.12/7.26 c 4860 10444 627024 526143 0 2469 5 8 6 7.12/7.28 c 4870 10480 628973 527495 0 2476 6 9 6 7.12/7.30 c 4880 10502 630254 528530 0 2480 5 8 6 7.22/7.31 c 4890 10524 631729 529623 0 2484 5 8 6 7.22/7.33 c 4900 10554 633798 531263 0 2491 6 8 6 7.22/7.34 c 4910 10577 635187 532352 0 2494 6 8 6 7.22/7.35 c 4920 10595 636050 532958 0 2495 8 9 7 7.22/7.37 c 4930 10612 637074 533988 0 2500 5 7 5 7.22/7.38 c 4940 10637 638417 534873 0 2505 5 9 6 7.22/7.39 c 4950 10661 639559 535810 0 2509 5 9 6 7.32/7.41 c 4960 10681 640778 536822 0 2513 5 8 5 7.32/7.42 c 4970 10706 642263 537905 0 2517 6 8 6 7.32/7.44 c 4980 10732 643800 538852 0 2521 6 9 6 7.32/7.45 c 4990 10748 644799 539629 0 2527 5 7 5 7.32/7.48 c 5035 10827 648804 543585 0 2536 4 10 6 7.62/7.78 c 5631 11763 710888 596300 0 2548 5 9 6 8.03/8.12 c 6286 12885 776291 651671 0 2582 3 10 6 8.32/8.44 c 7006 14036 845143 719757 0 2600 4 9 6 8.62/8.79 c 7798 15290 912729 780641 0 2614 3 10 6 9.32/9.47 c 8669 16800 1012031 871830 0 2668 3 9 5 9.93/10.01 c 9627 18285 1120524 972874 0 2691 4 8 5 10.42/10.53 c 10680 19972 1222659 1072033 0 2702 4 9 5 10.93/11.09 c 11838 21778 1324305 1167160 0 2734 3 11 6 11.62/11.71 c 13111 23931 1450758 1279632 0 2755 3 9 6 12.22/12.36 c 14511 26186 1580451 1401085 0 2777 3 10 6 13.03/13.16 c 16051 28704 1725087 1541141 0 2792 3 10 6 13.83/13.92 c 17745 31335 1882041 1697918 0 2822 3 9 5 14.83/14.97 c 19608 34279 2050862 1862159 0 2874 3 9 5 15.94/16.04 c 21657 37640 2248830 2042524 0 2891 4 10 5 17.04/17.19 c 23910 41345 2480218 2266324 0 2906 3 9 5 18.23/18.35 c 26388 45287 2711034 2481195 0 2943 3 9 5 19.53/19.61 c 29113 49481 2964858 2738491 0 2984 3 10 5 21.32/21.41 c 32110 54600 3294608 3035048 0 2995 3 10 6 22.73/22.87 c 35406 59986 3611340 3328274 0 3021 3 10 5 24.83/24.90 c 39031 65923 3966060 3653948 0 3084 3 11 6 26.93/27.06 c 43018 72292 4321148 3988263 0 3127 3 10 5 29.43/29.53 c 47403 79379 4739181 4380422 0 3143 3 11 5 32.04/32.14 c 52226 87141 5238528 4811718 0 3162 3 10 5 34.73/34.81 c 57531 96139 5730342 5267768 0 3174 3 10 5 38.04/38.20 c 63366 105783 6327824 5844582 0 3205 3 10 5 41.43/41.58 c 69784 116316 6974845 6417082 0 3231 3 11 5 45.04/45.19 c 76843 127959 7696075 7063618 0 3258 3 10 5 49.13/49.29 c 84607 141081 8501045 7791139 0 3316 3 10 5 54.43/54.50 c 93147 155331 9522228 8721083 0 3338 3 10 5 58.33/58.47 c 102541 170286 10388225 9522663 0 3368 3 11 5 64.23/64.39 c 112874 186819 11549544 10653407 0 3396 3 9 5 69.73/69.82 c 124240 205749 12718836 11702527 0 3425 3 10 5 76.43/76.56 c 136742 227112 14011866 12859140 0 3468 3 10 5 83.53/83.61 c 150494 249143 15445552 14290546 0 3526 3 10 5 90.13/90.26 c 165621 274233 16875987 15549230 2 3546 2 10 5 98.53/98.63 c 182260 301443 18485381 17008721 3 3580 3 10 5 107.33/107.41 c 200562 331237 20389319 18883845 4 3611 3 10 5 118.33/118.47 c 220694 364522 22464613 20708196 5 3648 2 10 5 130.13/130.28 c 242839 400608 24582528 22708475 6 3675 2 10 5 142.53/142.68 conflict 17lvl : 6 bt6-301:0(222)X44292 143.83/143.99 c 267198 440067 27070411 24921435 7 3697 3 10 5 158.14/158.24 c 293992 484494 29884619 27662799 9 3710 2 10 5 173.14/173.24 c 323465 533781 32902153 30446473 9 3736 2 10 5 188.44/188.57 c 355885 587702 36247608 33350744 9 3801 2 10 5 207.05/207.13 c 391547 646047 39796402 36589050 10 3822 2 10 5 227.84/228.00 c 430775 710487 43851063 40381368 10 3845 2 10 5 249.05/249.17 c 473925 781364 48200458 44309108 11 3882 2 11 5 272.55/272.61 c 521390 859594 52984311 48580195 12 3924 2 10 5 297.85/297.98 c 573601 945937 58387836 53570526 12 3945 2 10 5 325.35/325.43 c 631033 1040939 64246915 58943628 13 3967 2 10 5 355.25/355.34 c 694208 1146772 70826570 64783920 13 4008 2 10 5 358.55/358.64 c restarts : 568 358.55/358.64 c conflicts : 700975 (1955 /sec) 358.55/358.64 c decisions : 1158441 (3231 /sec) 358.55/358.64 c propagations : 65414358 (182425 /sec) 358.55/358.64 c root propagations : 0 358.55/358.64 c filter calls : 71550757 (199538 /sec) 358.55/358.64 c useless filter calls : 51689388 (72 %) 358.55/358.64 c 358.55/358.64 c clauses : 7769 358.55/358.64 c SAT propagations : 13881 358.55/358.64 c SAT conflicts : 780 (1 learnts) 358.55/358.64 c Memory used : 40.74 MB 358.55/358.64 c CPU time : 358.582 s 358.55/358.64 358.55/358.64 s UNSATISFIABLE
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 (12364 MiB free)
memory of node 1: 16384 MiB (13678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266318-1502568114/watcher-4266318-1502568114 -o /tmp/evaluation-result-4266318-1502568114/solver-4266318-1502568114 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266318-1502568114.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=24421, runsolver pid=24418
[startup+0.100906 s]*
/proc/loadavg: 0.14 0.06 0.06 3/184 24422
/proc/meminfo: memFree=26656576/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=27828 memory=3840 CPUtime=0.04 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 1159 0 3 0 4 0 0 0 20 0 1 0 89883076 28495872 960 33554432000 4194304 5972588 140736363660592 140736363655576 5675016 0 0 4096 0 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 6957 960 721 435 0 320 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 27828 KiB
Current children cumulated memory: 3840 KiB
[startup+0.210101 s]*
/proc/loadavg: 0.14 0.06 0.06 3/184 24422
/proc/meminfo: memFree=26646468/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=29416 memory=5424 CPUtime=0.14 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 1552 0 3 0 14 0 0 0 20 0 1 0 89883076 30121984 1356 33554432000 4194304 5972588 140736363660592 140736363655576 5674097 0 0 4096 0 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 7354 1356 722 435 0 717 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 29416 KiB
Current children cumulated memory: 5424 KiB
[startup+0.309101 s]*
/proc/loadavg: 0.14 0.06 0.06 3/184 24422
/proc/meminfo: memFree=26636640/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=30876 memory=7008 CPUtime=0.24 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 1912 0 3 0 24 0 0 0 20 0 1 0 89883076 31617024 1752 33554432000 4194304 5972588 140736363660592 140736363655576 5671572 0 0 4096 0 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 7719 1752 722 435 0 1082 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 30876 KiB
Current children cumulated memory: 7008 KiB
[startup+0.700292 s]
/proc/loadavg: 0.14 0.06 0.06 3/182 24422
/proc/meminfo: memFree=26635140/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41576 memory=13536 CPUtime=0.62 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 3595 0 3 0 62 0 0 0 20 0 1 0 89883076 42573824 3384 33554432000 4194304 5972588 140736363660592 140736363655224 4935490 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10394 3384 754 435 0 3757 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 13536 KiB
[startup+1.50038 s]
/proc/loadavg: 0.14 0.06 0.06 3/188 24433
/proc/meminfo: memFree=26625032/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41576 memory=13536 CPUtime=1.43 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 3597 0 3 0 142 1 0 0 20 0 1 0 89883076 42573824 3384 33554432000 4194304 5972588 140736363660592 140736363657896 4935642 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10394 3384 754 435 0 3757 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 13536 KiB
[startup+3.10974 s]
/proc/loadavg: 0.14 0.06 0.06 3/188 24433
/proc/meminfo: memFree=26587808/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41576 memory=13760 CPUtime=3.03 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 6197 0 3 0 302 1 0 0 20 0 1 0 89883076 42573824 3440 33554432000 4194304 5972588 140736363660592 140736363657896 4934287 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10394 3440 773 435 0 3757 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 13760 KiB
[startup+6.30036 s]
/proc/loadavg: 0.13 0.06 0.06 3/188 24433
/proc/meminfo: memFree=26567452/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41576 memory=13784 CPUtime=6.22 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 8813 0 3 0 621 1 0 0 20 0 1 0 89883076 42573824 3446 33554432000 4194304 5972588 140736363660592 140736363657896 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10394 3446 773 435 0 3757 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 13784 KiB
[startup+12.7003 s]
/proc/loadavg: 0.28 0.09 0.07 3/188 24433
/proc/meminfo: memFree=26524292/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13852 CPUtime=12.62 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 11453 0 3 0 1261 1 0 0 20 0 1 0 89883076 42717184 3463 33554432000 4194304 5972588 140736363660592 140736363657896 4935463 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3463 773 435 0 3792 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13852 KiB
[startup+25.5004 s]
/proc/loadavg: 0.73 0.20 0.10 3/188 24433
/proc/meminfo: memFree=26425344/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13908 CPUtime=25.43 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 14171 0 3 0 2541 2 0 0 20 0 1 0 89883076 42717184 3477 33554432000 4194304 5972588 140736363660592 140736363657896 4935502 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3477 773 435 0 3792 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13908 KiB
[startup+51.1098 s]
/proc/loadavg: 1.16 0.34 0.15 3/188 24433
/proc/meminfo: memFree=26367952/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13912 CPUtime=51.04 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 14771 0 3 0 5102 2 0 0 20 0 1 0 89883076 42717184 3478 33554432000 4194304 5972588 140736363660592 140736363657896 4934329 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3478 773 435 0 3792 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13912 KiB
[startup+102.3 s]
/proc/loadavg: 1.64 0.60 0.25 3/187 24434
/proc/meminfo: memFree=26365268/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13952 CPUtime=102.23 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 15381 0 3 0 10221 2 0 0 20 0 1 0 89883076 42717184 3488 33554432000 4194304 5972588 140736363660592 140736363657896 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3488 773 435 0 3792 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13952 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.36 3/187 24442
/proc/meminfo: memFree=26362284/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13960 CPUtime=162.24 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 15973 0 3 0 16222 2 0 0 20 0 1 0 89883076 42717184 3490 33554432000 4194304 5972588 140736363660592 140736363657896 4935502 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3490 773 435 0 3792 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13960 KiB
[startup+222.3 s]
/proc/loadavg: 2.33 1.16 0.49 3/187 24443
/proc/meminfo: memFree=26361632/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13972 CPUtime=222.24 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16562 0 3 0 22222 2 0 0 20 0 1 0 89883076 42717184 3493 33554432000 4194304 5972588 140736363660592 140736363657896 4935463 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3493 776 435 0 3792 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13972 KiB
[startup+282.3 s]
/proc/loadavg: 2.27 1.37 0.61 3/188 24506
/proc/meminfo: memFree=26666484/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13972 CPUtime=282.25 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16564 0 3 0 28223 2 0 0 20 0 1 0 89883076 42717184 3493 33554432000 4194304 5972588 140736363660592 140736363657896 4934287 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3493 776 435 0 3792 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13972 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 1.48 0.70 3/188 24507
/proc/meminfo: memFree=26666116/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=342.25 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 34223 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4935471 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+358.644 s]
# the end of solver process 24421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=358.582 s, system=0.022002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 2.09 1.49 0.70 3/188 24507
/proc/meminfo: memFree=26666116/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=345.55 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 34553 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4934307 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 345.55 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+352 s]*
/proc/loadavg: 2.08 1.50 0.71 3/188 24507
/proc/meminfo: memFree=26666232/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=351.96 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 35194 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4935463 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 351.96 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+355.2 s]
/proc/loadavg: 2.08 1.51 0.72 3/188 24507
/proc/meminfo: memFree=26666240/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=355.15 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 35513 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 355.15 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+356.8 s]
/proc/loadavg: 2.08 1.51 0.72 3/188 24507
/proc/meminfo: memFree=26666240/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=356.75 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 35673 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 5328499 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 356.75 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+357.6 s]
/proc/loadavg: 2.08 1.51 0.72 3/188 24507
/proc/meminfo: memFree=26666240/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=357.55 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 35753 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4935463 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 357.55 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+358.4 s]
/proc/loadavg: 2.08 1.51 0.72 3/188 24507
/proc/meminfo: memFree=26666240/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=358.35 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 35833 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4935493 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 358.35 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
[startup+358.6 s]
/proc/loadavg: 2.08 1.51 0.72 3/188 24507
/proc/meminfo: memFree=26666240/32770624 swapFree=67108860/67108860
[pid=24421] ppid=24418 vsize=41716 memory=13980 CPUtime=358.55 cores=1,3,5,7
/proc/24421/stat : 24421 (cosoco) R 24418 24421 24318 0 -1 4202496 16642 0 3 0 35853 2 0 0 20 0 1 0 89883076 42717184 3495 33554432000 4194304 5972588 140736363660592 140736363657896 4935493 0 0 4096 8405026 0 0 0 17 1 0 0 2 0 0 8070896 8075904 31277056 140736363668666 140736363668766 140736363668766 140736363671502 0
/proc/24421/statm: 10429 3495 776 435 0 3792 0
Current children cumulated CPU time: 358.55 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 13980 KiB
Child status: 0
Real time (s): 358.644
CPU time (s): 358.604
CPU user time (s): 358.582
CPU system time (s): 0.022002
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 41716
Max. memory (cumulated for all children) (KiB): 13980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 358.582
system time used= 0.022002
maximum resident set size= 14060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16682
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 180
# summary of solver processes directly reported to runsolver:
# pid: 24421
# total CPU time (s): 358.604
# total CPU user time (s): 358.582
# total CPU system time (s): 0.022002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37074 second user time and 2.61065 second system time
The end
Begin job on node105 at 2017-08-12 21:47:36 IDJOB=4266318 IDBENCH=121402 IDSOLVER=2655 FILE ID=node105/4266318-1502568114 RUNJOBID= node105-1502567255-24403 PBS_JOBID= 20628286 Free space on /tmp= 60648 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-40.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266318-1502568114/watcher-4266318-1502568114 -o /tmp/evaluation-result-4266318-1502568114/solver-4266318-1502568114 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266318-1502568114.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dc4dbad226249f26f24e6fd4bdcbff7b RANDOM SEED=1976939952 node105.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.17 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.17 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.17 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.17 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: 26674148 kB MemAvailable: 31974580 kB Buffers: 134556 kB Cached: 5443376 kB SwapCached: 0 kB Active: 625240 kB Inactive: 5013720 kB Active(anon): 63632 kB Inactive(anon): 25056 kB Active(file): 561608 kB Inactive(file): 4988664 kB Unevictable: 6252 kB Mlocked: 6252 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 40964 kB Writeback: 0 kB AnonPages: 60928 kB Mapped: 42408 kB Shmem: 25228 kB Slab: 156168 kB SReclaimable: 131992 kB SUnreclaim: 24176 kB KernelStack: 3200 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-12 21:53:35