0.00/0.01 c SAT : Variables: 312 -- Clauses: 1104
0.00/0.01 c root propagations : 0
0.00/0.01 c restarts enabled, print stats at every restarts
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c This is cosoco 1.12 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266229-1502583701.xml
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.01 s
0.00/0.01 c |
0.00/0.01 c | Variables: 40
0.00/0.01 c | Domain Sizes: 7..8
0.00/0.01 c |
0.00/0.01 c | Constraints: 44
0.00/0.01 c | Arity: 2..4 -- Binary: 36
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | Extension: 44 (nb tuples: 14..2402) -- (shared: 41)
0.00/0.01 c |
0.00/0.01 c =========================================================================================================
0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.01 c 10 30 922 334 0 3 9 10 8
0.00/0.02 c 20 58 1668 674 0 6 6 7 5
0.00/0.02 c 30 85 2544 978 0 10 6 6 5
0.00/0.02 c 40 111 3390 1286 0 14 5 6 5
0.00/0.02 c 50 138 4260 1590 0 18 6 6 5
0.00/0.03 c 60 165 5136 1894 0 22 6 6 5
0.00/0.03 c 70 192 6002 2198 0 26 6 6 5
0.00/0.03 c 80 218 6862 2506 0 30 5 6 5
0.00/0.03 c 90 245 7732 2810 0 34 6 6 5
0.00/0.03 c 100 272 8616 3114 0 38 6 6 5
0.00/0.04 c 101 278 8837 3202 0 39 6 6 3
0.00/0.04 c 110 302 9609 3478 0 42 6 6 5
0.00/0.04 c 120 328 10505 3786 0 46 5 6 5
0.00/0.04 c 130 355 11353 4090 0 50 6 6 5
0.00/0.05 c 140 382 12195 4394 0 54 6 6 5
0.00/0.05 c 150 408 13117 4721 0 59 5 6 5
0.00/0.05 c 160 435 14005 5025 0 63 6 6 5
0.00/0.05 c 170 464 15047 5408 0 67 5 6 5
0.00/0.06 c 180 491 15917 5712 0 71 6 6 5
0.00/0.06 c 190 518 16791 6016 0 75 6 6 5
0.00/0.06 c 200 544 17619 6324 0 79 5 6 5
0.00/0.06 c 210 571 18507 6628 0 83 6 6 5
0.00/0.06 c 211 577 18728 6716 0 84 6 6 3
0.00/0.07 c 220 603 19563 7006 0 85 6 6 5
0.00/0.07 c 230 630 20468 7314 0 89 6 6 5
0.00/0.07 c 240 657 21363 7622 0 93 6 6 5
0.00/0.07 c 250 683 22239 7930 0 97 5 6 5
0.00/0.08 c 260 710 23089 8234 0 101 6 6 5
0.00/0.08 c 270 737 23961 8538 0 105 6 6 5
0.00/0.08 c 280 763 24839 8846 0 109 5 6 5
0.00/0.08 c 290 790 25693 9150 0 113 6 6 5
0.00/0.09 c 300 817 26565 9454 0 117 6 6 5
0.00/0.09 c 310 844 27439 9758 0 121 6 6 5
0.00/0.09 c 320 870 28271 10066 0 125 5 6 5
0.00/0.09 c 330 897 29149 10370 0 129 6 6 5
0.00/0.10 c 332 905 29460 10485 0 131 6 6 4
0.00/0.10 c 340 927 30201 10746 0 135 6 6 5
0.00/0.10 c 350 954 31071 11050 0 139 6 6 5
0.00/0.10 c 360 980 31935 11358 0 143 5 6 5
0.10/0.10 c 370 1007 32783 11662 0 147 6 6 5
0.10/0.11 c 380 1034 33673 11966 0 151 6 6 5
0.10/0.11 c 390 1061 34527 12270 0 155 6 6 5
0.10/0.11 c 400 1087 35393 12578 0 159 5 6 5
0.10/0.11 c 410 1114 36257 12882 0 163 6 6 5
0.10/0.12 c 420 1141 37133 13186 0 167 6 6 5
0.10/0.12 c 430 1168 37999 13490 0 171 6 6 5
0.10/0.12 c 440 1194 38873 13798 0 175 5 6 5
0.10/0.12 c 450 1221 39747 14102 0 179 6 6 5
0.10/0.13 c 460 1248 40617 14406 0 183 6 6 5
0.10/0.13 c 465 1263 41140 14595 0 186 6 6 5
0.10/0.13 c 470 1278 41673 14784 0 189 6 6 5
0.10/0.13 c 480 1305 42531 15088 0 193 6 6 5
0.10/0.14 c 490 1332 43385 15392 0 197 6 6 5
0.10/0.14 c 500 1359 44376 15747 0 201 5 6 5
0.10/0.14 c 510 1386 45343 16094 0 205 5 6 5
0.10/0.14 c 520 1413 46197 16398 0 209 6 6 5
0.10/0.15 c 530 1440 47091 16702 0 213 6 6 5
0.10/0.15 c 540 1466 47927 17010 0 217 5 6 5
0.10/0.15 c 550 1493 48787 17314 0 221 6 6 5
0.10/0.15 c 560 1520 49671 17618 0 225 6 6 5
0.10/0.16 c 570 1547 50529 17922 0 229 6 6 5
0.10/0.16 c 580 1574 51494 18269 0 233 5 6 5
0.10/0.16 c 590 1601 52350 18573 0 237 6 6 5
0.10/0.16 c 600 1627 53236 18881 0 241 5 6 5
0.10/0.17 c 610 1654 54078 19185 0 245 6 6 5
0.10/0.17 c 611 1660 54303 19273 0 246 6 6 3
0.10/0.17 c 620 1684 55179 19590 0 249 5 6 5
0.10/0.17 c 630 1711 56213 19973 0 254 5 6 5
0.10/0.17 c 640 1738 57134 20281 0 258 6 6 5
0.10/0.18 c 650 1765 57987 20589 0 262 6 6 5
0.10/0.18 c 660 1792 58864 20897 0 266 6 6 5
0.10/0.18 c 670 1819 59779 21205 0 270 6 6 5
0.10/0.18 c 680 1846 60640 21513 0 274 6 6 5
0.10/0.19 c 690 1873 61561 21821 0 278 6 6 5
0.10/0.19 c 700 1900 62430 22129 0 282 6 6 5
0.10/0.19 c 710 1928 63345 22462 0 287 6 6 5
0.10/0.19 c 720 1955 64209 22766 0 291 6 6 5
0.10/0.20 c 730 1981 65109 23074 0 295 5 6 5
0.10/0.20 c 740 2008 65973 23378 0 299 6 6 5
0.10/0.20 c 750 2035 66833 23682 0 303 6 6 5
0.10/0.20 c 760 2062 67709 23986 0 307 6 6 5
0.10/0.21 c 770 2089 68561 24290 0 311 6 6 5
0.10/0.21 c 771 2094 68818 24391 0 312 5 5 2
0.10/0.21 c 780 2118 69596 24667 0 315 6 6 5
0.10/0.21 c 790 2145 70492 24971 0 319 6 6 5
0.21/0.22 c 800 2174 71436 25315 0 324 6 6 5
0.21/0.22 c 810 2201 72306 25619 0 328 6 6 5
0.21/0.22 c 820 2227 73162 25927 0 332 5 6 5
0.21/0.22 c 830 2254 74034 26231 0 336 6 6 5
0.21/0.23 c 840 2281 74886 26535 0 340 6 6 5
0.21/0.23 c 850 2311 75956 26915 0 343 5 6 5
0.21/0.23 c 860 2337 76806 27223 0 347 5 6 5
0.21/0.23 c 870 2364 77696 27527 0 351 6 6 5
0.21/0.24 c 880 2391 78540 27831 0 355 6 6 5
0.21/0.24 c 890 2418 79430 28135 0 359 6 6 5
0.21/0.24 c 900 2445 80284 28439 0 363 6 6 5
0.21/0.24 c 910 2472 81138 28743 0 367 6 6 5
0.21/0.25 c 920 2499 82020 29047 0 371 6 6 5
0.21/0.25 c 930 2526 82840 29351 0 375 6 6 5
0.21/0.25 c 940 2555 83897 29734 0 380 5 6 5
0.21/0.25 c 947 2575 84562 29968 0 383 6 6 5
0.21/0.25 c 950 2585 84923 30099 0 384 6 6 4
0.21/0.26 c 960 2612 85954 30467 0 388 5 6 5
0.21/0.26 c 970 2639 86823 30775 0 392 6 6 5
0.21/0.26 c 980 2669 87790 31111 0 394 6 6 5
0.21/0.27 c 990 2696 88676 31415 0 398 6 6 5
0.21/0.27 c 1000 2723 89544 31719 0 402 6 6 5
0.21/0.27 c 1010 2750 90425 32027 0 406 6 6 5
0.21/0.27 c 1020 2777 91416 32374 0 410 5 6 5
0.21/0.28 c 1030 2804 92260 32678 0 414 6 6 5
0.21/0.28 c 1040 2830 93140 32986 0 418 5 6 5
0.21/0.28 c 1050 2857 93992 33290 0 422 6 6 5
0.21/0.28 c 1060 2884 95067 33675 0 426 5 6 4
0.21/0.29 c 1070 2910 95917 33983 0 430 5 6 5
0.21/0.29 c 1080 2937 96778 34291 0 434 6 6 5
0.21/0.29 c 1090 2964 97654 34595 0 438 6 6 5
0.21/0.29 c 1100 2991 98542 34899 0 442 6 6 5
0.21/0.30 c 1110 3018 99386 35203 0 446 6 6 5
0.21/0.30 c 1120 3047 100364 35547 0 451 6 6 5
0.21/0.30 c 1130 3074 101405 35929 0 455 5 6 4
0.21/0.30 c 1140 3101 102261 36233 0 459 6 6 5
0.21/0.30 c 1141 3106 102499 36324 0 460 5 5 2
0.21/0.31 c 1150 3130 103393 36641 0 463 5 6 5
0.21/0.31 c 1160 3157 104336 36988 0 467 5 6 5
0.31/0.31 c 1170 3184 105334 37318 0 469 4 6 5
0.31/0.32 c 1180 3211 106215 37626 0 473 6 6 5
0.31/0.32 c 1190 3238 107076 37934 0 477 6 6 5
0.31/0.32 c 1200 3265 107977 38242 0 481 6 6 5
0.31/0.32 c 1210 3292 108890 38550 0 485 6 6 5
0.31/0.33 c 1220 3319 109837 38894 0 490 5 6 5
0.31/0.33 c 1230 3347 110767 39223 0 491 5 6 5
0.31/0.33 c 1240 3377 111730 39557 0 493 6 6 5
0.31/0.33 c 1250 3404 112639 39865 0 497 6 6 5
0.31/0.34 c 1260 3430 113525 40173 0 501 5 6 5
0.31/0.34 c 1270 3457 114512 40528 0 505 5 6 5
0.31/0.34 c 1280 3484 115499 40872 0 510 5 6 5
0.31/0.34 c 1290 3511 116320 41180 0 514 6 6 5
0.31/0.35 c 1300 3541 117283 41516 0 516 6 6 5
0.31/0.35 c 1310 3568 118155 41820 0 520 6 6 5
0.31/0.35 c 1320 3595 119029 42124 0 524 6 6 5
0.31/0.35 c 1330 3625 120008 42460 0 526 6 6 5
0.31/0.36 c 1340 3652 120872 42764 0 530 6 6 5
0.31/0.36 c 1350 3679 121767 43071 0 534 6 6 5
0.31/0.36 c 1352 3687 122074 43186 0 536 6 6 4
0.31/0.36 c 1360 3709 122805 43447 0 540 6 6 5
0.31/0.37 c 1370 3736 123861 43833 0 544 5 6 4
0.31/0.37 c 1380 3763 124741 44137 0 548 6 6 5
0.31/0.37 c 1390 3790 125689 44482 0 552 5 6 5
0.31/0.37 c 1400 3817 126824 44900 0 557 5 6 4
0.31/0.38 c 1410 3844 127688 45204 0 561 6 6 5
0.31/0.38 c 1420 3870 128548 45512 0 565 5 6 5
0.31/0.38 c 1430 3900 129658 45897 0 569 5 6 5
0.31/0.38 c 1440 3927 130539 46205 0 573 6 6 5
0.31/0.39 c 1450 3952 131482 46519 0 574 4 6 5
0.31/0.39 c 1460 3979 132331 46827 0 578 6 6 5
0.31/0.39 c 1470 4006 133320 47182 0 582 5 6 5
0.31/0.40 c 1480 4029 134271 47500 0 583 4 6 4
0.31/0.40 c 1490 4058 135184 47840 0 587 6 6 5
0.31/0.40 c 1500 4085 136075 48148 0 591 6 6 5
0.31/0.40 c 1510 4122 137250 48547 0 593 6 6 5
0.31/0.41 c 1520 4151 138181 48887 0 597 6 6 5
0.31/0.41 c 1530 4181 139207 49267 0 600 5 6 5
0.31/0.41 c 1540 4208 140108 49575 0 604 6 6 5
0.41/0.41 c 1550 4235 141025 49883 0 608 6 6 5
0.41/0.42 c 1560 4262 141896 50191 0 612 6 6 5
0.41/0.42 c 1570 4291 142922 50538 0 615 5 6 5
0.41/0.42 c 1580 4320 144000 50919 0 619 5 6 5
0.41/0.42 c 1585 4335 144522 51103 0 621 6 6 5
0.41/0.43 c 1590 4351 145086 51311 0 624 6 6 5
0.41/0.43 c 1600 4380 146143 51671 0 628 5 6 5
0.41/0.43 c 1610 4405 147217 52062 0 632 4 6 4
0.41/0.44 c 1620 4436 148176 52407 0 634 6 6 5
0.41/0.44 c 1630 4465 149146 52751 0 639 6 6 5
0.41/0.44 c 1640 4494 150141 53100 0 641 5 6 5
0.41/0.44 c 1650 4521 151009 53404 0 645 6 6 5
0.41/0.45 c 1660 4551 152010 53740 0 647 6 6 5
0.41/0.45 c 1670 4582 152968 54085 0 650 6 6 5
0.41/0.45 c 1680 4612 153990 54429 0 653 6 6 5
0.41/0.45 c 1690 4644 155030 54796 0 656 5 6 5
0.41/0.46 c 1700 4674 156009 55132 0 658 6 6 5
0.41/0.46 c 1710 4701 156889 55436 0 662 6 6 5
0.41/0.46 c 1720 4728 157876 55791 0 666 5 6 5
0.41/0.46 c 1730 4755 158789 56099 0 670 6 6 5
0.41/0.47 c 1740 4782 159778 56454 0 674 5 6 5
0.41/0.47 c 1750 4811 160794 56806 0 677 4 6 5
0.41/0.47 c 1760 4838 161655 57114 0 681 6 6 5
0.41/0.48 c 1770 4867 162710 57490 0 685 5 6 5
0.41/0.48 c 1780 4901 163792 57861 0 686 5 6 5
0.41/0.48 c 1790 4928 164667 58169 0 690 6 6 5
0.41/0.48 c 1800 4959 165699 58539 0 694 6 6 5
0.41/0.49 c 1810 4987 166662 58872 0 695 5 6 5
0.41/0.49 c 1820 5017 167647 59210 0 697 6 6 5
0.41/0.49 c 1830 5044 168524 59518 0 701 6 6 5
0.41/0.49 c 1840 5071 169510 59850 0 702 5 6 5
0.41/0.50 c 1841 5077 169760 59957 0 703 6 6 3
0.41/0.50 c 1850 5103 170765 60307 0 706 5 6 5
0.41/0.50 c 1860 5132 171727 60653 0 708 5 6 5
0.41/0.50 c 1870 5157 172672 60969 0 709 4 6 5
0.41/0.51 c 1880 5186 173760 61373 0 711 4 6 4
0.41/0.51 c 1890 5215 174643 61713 0 715 6 6 5
0.41/0.51 c 1900 5242 175481 62017 0 719 6 6 5
0.51/0.52 c 1910 5272 176519 62385 0 722 5 6 5
0.51/0.52 c 1920 5301 177463 62729 0 727 6 6 5
0.51/0.52 c 1930 5330 178502 63090 0 731 5 6 5
0.51/0.52 c 1940 5354 179358 63393 0 734 4 6 4
0.51/0.53 c 1950 5384 180281 63735 0 736 6 6 5
0.51/0.53 c 1960 5411 181191 64044 0 740 6 6 5
0.51/0.53 c 1970 5438 182108 64352 0 744 6 6 5
0.51/0.53 c 1980 5465 183027 64682 0 748 5 6 5
0.51/0.54 c 1990 5494 184087 65064 0 751 5 6 5
0.51/0.54 c 2000 5521 184948 65372 0 755 6 6 5
0.51/0.54 c 2010 5546 185950 65726 0 757 4 6 4
0.51/0.55 c 2020 5575 186873 66080 0 762 4 6 5
0.51/0.55 c 2030 5605 187878 66424 0 765 6 6 5
0.51/0.55 c 2040 5634 188899 66769 0 767 5 6 5
0.51/0.55 c 2050 5661 189720 67077 0 771 6 6 5
0.51/0.56 c 2060 5688 190541 67385 0 775 6 6 5
0.51/0.56 c 2070 5715 191542 67740 0 779 5 6 5
0.51/0.56 c 2080 5742 192418 68044 0 783 6 6 5
0.51/0.56 c 2090 5769 193346 68367 0 785 4 6 5
0.51/0.57 c 2100 5796 194240 68671 0 789 6 6 5
0.51/0.57 c 2110 5825 195216 69018 0 791 5 6 5
0.51/0.57 c 2120 5852 196166 69348 0 796 5 6 5
0.51/0.57 c 2122 5860 196486 69464 0 798 6 6 4
0.51/0.58 c 2130 5881 197394 69809 0 802 4 6 4
0.51/0.58 c 2140 5911 198346 70145 0 806 6 6 5
0.51/0.58 c 2150 5937 199198 70453 0 810 5 6 5
0.51/0.58 c 2160 5964 200078 70757 0 814 6 6 5
0.51/0.59 c 2170 5995 201032 71105 0 816 6 6 5
0.51/0.59 c 2180 6023 201971 71431 0 817 5 6 5
0.51/0.59 c 2190 6050 202892 71739 0 821 6 6 5
0.51/0.59 c 2200 6081 204017 72127 0 826 5 6 5
0.51/0.60 c 2210 6111 205046 72496 0 829 4 6 5
0.51/0.60 c 2220 6134 205991 72815 0 832 4 6 4
0.51/0.60 c 2230 6161 206892 73123 0 836 6 6 5
0.60/0.61 c 2240 6194 207928 73494 0 838 5 6 5
0.60/0.61 c 2250 6223 208871 73834 0 842 6 6 5
0.60/0.61 c 2260 6252 209797 74178 0 847 6 6 5
0.60/0.61 c 2270 6279 210701 74510 0 851 5 6 5
0.60/0.62 c 2280 6312 211766 74887 0 853 5 6 5
0.60/0.62 c 2290 6339 212667 75195 0 857 6 6 5
0.60/0.62 c 2300 6369 213733 75572 0 861 5 6 5
0.60/0.63 c 2310 6395 214665 75896 0 866 5 6 5
0.60/0.63 c 2320 6424 215640 76236 0 870 6 6 5
0.60/0.63 c 2330 6454 216722 76625 0 873 5 6 5
0.60/0.63 c 2340 6483 217740 76981 0 876 5 6 5
0.60/0.64 c 2350 6507 218673 77304 0 881 4 6 5
0.60/0.64 c 2360 6534 219570 77610 0 885 6 6 5
0.60/0.64 c 2370 6564 220495 77946 0 887 6 6 5
0.60/0.64 c 2380 6591 221475 78282 0 890 5 6 5
0.60/0.65 c 2390 6618 222434 78612 0 893 5 6 5
0.60/0.65 c 2400 6645 223457 78982 0 898 4 6 5
0.60/0.65 c 2410 6672 224307 79286 0 902 6 6 5
0.60/0.66 c 2420 6698 225366 79666 0 907 4 6 4
0.60/0.66 c 2430 6725 226378 80031 0 911 5 6 5
0.60/0.66 c 2431 6731 226599 80119 0 912 6 6 3
0.60/0.66 c 2440 6754 227555 80466 0 915 4 6 4
0.60/0.67 c 2450 6780 228518 80799 0 919 4 6 4
0.60/0.67 c 2460 6802 229396 81092 0 921 4 6 4
0.60/0.67 c 2470 6830 230420 81457 0 924 5 6 4
0.60/0.67 c 2480 6857 231315 81765 0 928 6 6 5
0.60/0.68 c 2490 6883 232207 82092 0 933 5 6 5
0.60/0.68 c 2500 6908 233153 82426 0 936 4 6 4
0.60/0.68 c 2510 6935 234043 82735 0 940 6 6 5
0.60/0.68 c 2520 6965 235067 83078 0 942 6 6 5
0.60/0.69 c 2530 6994 236020 83422 0 946 4 6 5
0.60/0.69 c 2540 7020 237005 83771 0 948 4 6 4
0.60/0.69 c 2550 7046 237849 84079 0 952 5 6 5
0.60/0.70 c 2560 7076 238832 84421 0 954 6 6 5
0.69/0.70 c 2570 7102 239805 84767 0 959 5 6 5
0.69/0.70 c 2580 7129 240724 85094 0 960 5 6 5
0.69/0.70 c 2590 7158 241710 85442 0 963 5 6 5
0.69/0.71 c 2600 7185 242591 85750 0 967 6 6 5
0.69/0.71 c 2610 7211 243463 86058 0 971 5 6 5
0.69/0.71 c 2620 7241 244485 86397 0 973 6 6 5
0.69/0.71 c 2630 7267 245476 86754 0 976 4 6 4
0.69/0.72 c 2640 7297 246548 87116 0 979 5 6 5
0.69/0.72 c 2650 7327 247510 87479 0 983 6 6 5
0.69/0.72 c 2660 7354 248447 87819 0 985 4 6 5
0.69/0.73 c 2670 7385 249507 88186 0 988 5 6 5
0.69/0.73 c 2680 7412 250428 88494 0 992 6 6 5
0.69/0.73 c 2690 7443 251606 88927 0 996 3 6 4
0.69/0.73 c 2700 7472 252521 89267 0 1000 6 6 5
0.69/0.74 c 2710 7500 253492 89614 0 1004 5 6 5
0.69/0.74 c 2720 7529 254504 89952 0 1008 5 6 5
0.69/0.74 c 2730 7558 255591 90336 0 1011 5 6 5
0.69/0.75 c 2740 7586 256654 90749 0 1015 5 6 4
0.69/0.75 c 2750 7612 257728 91118 0 1019 4 6 4
0.69/0.75 c 2760 7640 258717 91464 0 1022 4 6 5
0.69/0.76 c 2770 7669 259727 91827 0 1024 5 6 5
0.69/0.76 c 2771 7675 259981 91934 0 1025 6 6 3
0.69/0.76 c 2780 7696 260865 92263 0 1028 3 6 4
0.69/0.76 c 2790 7725 261882 92642 0 1031 5 6 5
0.69/0.77 c 2800 7749 262924 93002 0 1035 4 6 4
0.69/0.77 c 2810 7776 263908 93347 0 1039 5 6 5
0.69/0.77 c 2820 7803 264875 93699 0 1041 5 6 5
0.69/0.77 c 2830 7829 265775 94007 0 1045 5 6 5
0.69/0.78 c 2840 7860 266860 94381 0 1047 5 6 5
0.69/0.78 c 2850 7890 267861 94717 0 1049 6 6 5
0.69/0.78 c 2860 7916 268801 95055 0 1051 4 6 5
0.69/0.79 c 2870 7938 269664 95347 0 1053 4 6 4
0.69/0.79 c 2880 7967 270616 95694 0 1058 6 6 5
0.69/0.79 c 2890 7996 271634 96077 0 1061 5 6 5
0.69/0.79 c 2900 8023 272543 96385 0 1065 6 6 5
0.79/0.80 c 2910 8052 273494 96725 0 1069 6 6 5
0.79/0.80 c 2920 8085 274543 97108 0 1073 6 6 5
0.79/0.80 c 2930 8111 275481 97444 0 1076 4 6 4
0.79/0.80 c 2940 8141 276520 97814 0 1080 5 6 5
0.79/0.81 c 2950 8172 277568 98183 0 1083 6 6 5
0.79/0.81 c 2960 8197 278533 98529 0 1086 4 6 4
0.79/0.81 c 2970 8223 279686 98963 0 1091 5 5 4
0.79/0.82 c 2980 8253 280744 99350 0 1094 5 6 5
0.79/0.82 c 2990 8284 281777 99732 0 1097 4 6 5
0.79/0.82 c 3000 8308 282724 100052 0 1102 4 6 5
0.79/0.83 c 3010 8338 283836 100429 0 1106 5 6 5
0.79/0.83 c 3020 8368 284857 100773 0 1108 6 6 5
0.79/0.83 c 3030 8399 285880 101138 0 1112 5 6 5
0.79/0.83 c 3040 8427 286840 101479 0 1114 4 6 5
0.79/0.84 c 3050 8454 287815 101827 0 1116 4 6 5
0.79/0.84 c 3060 8483 288798 102180 0 1119 5 6 5
0.79/0.84 c 3070 8513 289858 102555 0 1124 5 6 5
0.79/0.85 c 3080 8538 290797 102892 0 1129 4 6 4
0.79/0.85 c 3090 8566 291820 103258 0 1132 5 6 5
0.79/0.85 c 3100 8593 292749 103591 0 1137 4 6 5
0.79/0.85 c 3110 8621 293760 103949 0 1140 4 6 5
0.79/0.86 c 3120 8651 294803 104319 0 1144 5 6 5
0.79/0.86 conflict 5lvl : 3 bt3-9:0(56)X12583
0.79/0.86 c 3130 8681 295942 104727 0 1147 5 6 4
0.79/0.86 c 3140 8707 296893 105061 0 1153 4 6 5
0.79/0.87 c 3142 8714 297201 105185 0 1154 5 5 3
0.79/0.87 c 3150 8736 297993 105479 0 1158 5 6 4
0.79/0.87 c 3160 8768 299109 105933 2 1162 5 6 5
0.79/0.87 c 3170 8793 300109 106276 2 1165 5 6 5
0.79/0.88 c 3180 8820 301130 106658 2 1170 4 6 5
0.79/0.88 c 3190 8842 302134 107007 2 1173 4 6 4
0.79/0.88 c 3200 8868 302994 107316 2 1177 5 6 5
0.79/0.89 c 3210 8898 303914 107649 2 1179 6 6 5
0.79/0.89 c 3220 8928 305049 108093 4 1181 4 6 4
0.79/0.89 c 3230 8955 306040 108439 4 1184 4 6 5
0.79/0.90 c 3240 8985 307103 108822 4 1189 5 6 5
0.89/0.90 c 3250 9008 307968 109113 4 1190 3 6 4
0.89/0.90 c 3260 9042 309107 109534 4 1195 5 6 5
0.89/0.90 c 3270 9068 310038 109865 4 1197 4 6 5
0.89/0.91 c 3280 9097 311019 110208 4 1200 5 6 5
0.89/0.91 c 3290 9124 312059 110584 4 1204 2 6 4
0.89/0.91 c 3300 9153 313072 110929 4 1207 5 6 5
0.89/0.92 c 3310 9180 314076 111292 4 1210 3 6 4
0.89/0.92 c 3320 9206 315068 111633 4 1213 4 6 4
0.89/0.92 c 3330 9233 315969 111941 4 1214 3 6 4
0.89/0.92 c 3340 9259 316890 112265 4 1216 5 6 5
0.89/0.93 c 3350 9285 317861 112610 4 1219 4 6 5
0.89/0.93 c 3360 9311 318785 112923 4 1223 4 6 5
0.89/0.93 c 3370 9338 319800 113262 4 1227 4 6 5
0.89/0.94 c 3380 9368 321018 113677 4 1230 5 6 4
0.89/0.94 c 3390 9394 321902 113997 4 1233 4 6 4
0.89/0.94 c 3400 9422 322888 114329 4 1237 4 6 5
0.89/0.94 c 3410 9451 323864 114672 4 1241 4 6 5
0.89/0.95 c 3420 9481 324918 115028 4 1245 4 6 5
0.89/0.95 c 3430 9513 326012 115402 4 1249 5 6 5
0.89/0.95 c 3440 9541 327080 115756 4 1253 4 6 5
0.89/0.96 c 3450 9568 328027 116094 4 1255 5 6 5
0.89/0.96 c 3460 9596 329108 116457 4 1259 4 6 5
0.89/0.96 c 3470 9627 330165 116817 4 1265 3 6 4
0.89/0.97 c 3480 9653 331053 117143 4 1269 5 6 5
0.89/0.97 c 3490 9680 331971 117457 4 1274 5 6 5
0.89/0.97 c 3500 9708 333078 117851 4 1278 5 6 4
0.89/0.97 c 3510 9736 334040 118187 4 1280 4 6 5
0.89/0.98 c 3520 9757 334991 118518 4 1285 3 6 4
0.89/0.98 c 3530 9785 335982 118877 4 1288 5 6 5
0.89/0.98 c 3540 9816 337098 119239 4 1290 4 6 5
0.89/0.99 c 3550 9843 338158 119645 4 1295 5 5 4
0.89/0.99 c 3551 9849 338431 119747 4 1296 6 6 3
0.89/0.99 c 3560 9877 339455 120109 4 1300 4 6 5
0.89/0.99 c 3570 9907 340468 120475 4 1305 6 6 5
0.89/1.00 c 3580 9931 341310 120787 4 1306 5 6 5
0.89/1.00 c 3590 9958 342329 121169 4 1309 4 6 4
0.89/1.00 c 3600 9986 343536 121612 4 1313 4 6 4
1.00/1.01 c 3610 10015 344457 121954 4 1316 5 6 5
1.00/1.01 c 3620 10037 345349 122249 4 1318 4 6 4
1.00/1.01 c 3630 10063 346466 122634 4 1321 4 6 4
1.00/1.01 conflict 5lvl : 3 bt3-44:0(51)X13751
1.00/1.01 c 3640 10092 347563 123021 4 1323 4 6 4
1.00/1.02 c 3650 10123 348626 123394 4 1326 5 6 5
1.00/1.02 c 3660 10154 349637 123752 4 1329 5 6 5
1.00/1.02 c 3670 10174 350527 124079 4 1332 4 6 4
1.00/1.03 c 3680 10201 351534 124415 4 1336 4 6 5
1.00/1.03 c 3690 10226 352585 124772 4 1341 4 6 4
1.00/1.03 conflict 3lvl : 3 bt2-9:0(38)X13886
1.00/1.03 c 3700 10256 353738 125169 4 1344 4 6 5
1.00/1.04 conflict 5lvl : 4 bt3-6:0(29)X13909
1.00/1.04 c 3710 10287 354899 125562 4 1346 3 6 5
1.00/1.04 c 3720 10308 355866 125915 4 1350 4 5 4
1.00/1.04 c 3730 10331 356861 126258 4 1353 4 6 4
1.00/1.05 c 3740 10353 357832 126624 4 1356 4 6 4
1.00/1.05 c 3750 10380 358808 126978 4 1360 5 6 5
1.00/1.05 c 3760 10411 359846 127341 4 1364 5 6 5
1.00/1.05 conflict 3lvl : 4 bt3-29:0(63)X14044
1.00/1.05 c 3770 10438 360875 127688 4 1367 3 6 5
1.00/1.06 c 3780 10464 361927 128101 4 1371 5 5 4
1.00/1.06 c 3790 10494 362994 128473 4 1375 5 6 5
1.00/1.06 c 3800 10519 363882 128782 4 1377 5 6 5
1.00/1.07 c 3810 10546 365010 129210 4 1379 3 6 4
1.00/1.07 c 3820 10575 366303 129658 4 1381 5 5 4
1.00/1.07 c 3830 10603 367381 130059 4 1386 5 6 4
1.00/1.08 c 3840 10630 368331 130398 4 1388 4 6 5
1.00/1.08 c 3850 10659 369440 130803 4 1391 5 6 4
1.00/1.08 c 3860 10689 370501 131203 4 1393 5 6 4
1.00/1.09 c 3870 10711 371447 131525 4 1395 4 6 4
1.00/1.09 c 3880 10736 372624 131924 4 1401 4 5 4
1.00/1.09 c 3890 10771 373795 132347 4 1405 4 6 5
1.00/1.10 c 3900 10797 374855 132722 4 1410 4 6 4
1.00/1.10 c 3910 10825 375891 133085 4 1414 3 6 5
1.00/1.10 c 3920 10852 376808 133412 4 1418 4 6 5
1.10/1.10 c 3930 10879 377765 133773 4 1423 5 6 5
1.10/1.11 c 3940 10909 378905 134208 6 1427 4 6 4
1.10/1.11 c 3950 10938 379944 134565 6 1427 4 6 5
1.10/1.11 c 3960 10968 380965 134923 8 1432 5 6 5
1.10/1.12 c 3970 10994 382061 135278 8 1435 4 6 4
1.10/1.12 c 3980 11021 383192 135679 8 1438 3 6 4
1.10/1.12 c 3990 11044 384224 136027 8 1441 4 6 4
1.10/1.13 c 4000 11076 385258 136372 8 1444 6 6 5
1.10/1.13 c 4001 11081 385485 136457 8 1445 5 5 2
1.10/1.13 c 4010 11107 386427 136777 8 1449 5 6 5
1.10/1.13 c 4020 11132 387431 137173 8 1450 3 6 4
1.10/1.14 c 4030 11160 388436 137494 8 1453 4 6 5
1.10/1.14 c 4040 11187 389361 137802 8 1455 4 6 5
1.10/1.14 c 4050 11211 390475 138187 8 1459 4 6 4
1.10/1.14 c 4060 11236 391535 138573 8 1463 4 5 4
1.10/1.15 c 4070 11264 392444 138914 8 1466 5 6 4
1.10/1.15 c 4080 11293 393550 139304 8 1469 3 6 4
1.10/1.15 c 4090 11319 394655 139698 8 1474 5 6 4
1.10/1.15 c 4100 11351 395675 140057 8 1478 5 6 5
1.10/1.16 c 4110 11379 396821 140469 8 1481 4 6 4
1.10/1.16 c 4120 11405 397699 140812 8 1485 5 5 4
1.10/1.16 c 4130 11438 398708 141188 8 1488 5 6 5
1.10/1.17 c 4140 11466 399842 141598 8 1491 5 6 4
1.10/1.17 c 4150 11500 400986 141983 8 1494 6 6 5
1.10/1.17 c 4160 11527 401973 142334 8 1498 5 6 4
1.10/1.18 c 4170 11556 403154 142767 8 1500 5 5 4
1.10/1.18 c 4180 11583 404189 143122 8 1504 4 6 4
1.10/1.18 conflict 3lvl : 2 bt1-50:0(36)X14932
1.10/1.18 c 4190 11612 405334 143534 8 1506 5 6 4
1.10/1.19 c 4200 11645 406424 143894 8 1510 4 6 5
1.10/1.19 c 4210 11669 407382 144221 8 1513 4 6 4
1.10/1.19 c 4220 11693 408400 144573 8 1517 3 6 4
1.10/1.19 c 4230 11713 409401 144915 8 1521 3 5 4
1.19/1.20 c 4240 11740 410519 145370 8 1525 3 5 4
1.19/1.20 c 4250 11769 411694 145817 8 1527 3 6 4
1.19/1.21 c 4260 11797 412908 146245 10 1530 4 6 4
1.19/1.21 c 4270 11826 414076 146678 10 1532 5 5 4
1.19/1.21 c 4280 11852 415079 147010 10 1536 4 6 4
1.19/1.22 c 4290 11881 416405 147492 10 1539 4 5 4
1.19/1.22 c 4300 11910 417597 147921 10 1543 3 6 4
1.19/1.22 c 4310 11939 418813 148359 10 1547 4 5 4
1.19/1.23 c 4320 11972 420136 148855 10 1549 4 5 4
1.19/1.23 c 4330 12004 421274 149266 12 1551 4 6 4
1.19/1.23 c 4340 12033 422439 149683 12 1553 5 5 4
1.19/1.24 c 4350 12062 423622 150106 12 1555 5 5 4
1.19/1.24 c 4360 12088 424889 150642 12 1559 3 5 3
1.19/1.24 c 4370 12116 426067 151080 12 1562 4 5 4
1.19/1.24 c 4380 12147 427286 151544 12 1568 4 5 4
1.19/1.25 c 4390 12178 428593 152040 12 1571 4 5 4
1.19/1.25 c 4400 12206 429900 152589 12 1572 4 4 3
1.19/1.26 c 4410 12232 431294 153194 12 1575 2 4 3
1.19/1.26 c restarts : 458
1.19/1.26 c conflicts : 4418 (3499 /sec)
1.19/1.26 c decisions : 12257 (9707 /sec)
1.19/1.26 c propagations : 153660 (121697 /sec)
1.19/1.26 c root propagations : 0
1.19/1.26 c filter calls : 432320 (342392 /sec)
1.19/1.26 c useless filter calls : 319853 (73 %)
1.19/1.26 c
1.19/1.26 c clauses : 2676
1.19/1.26 c SAT propagations : 3082
1.19/1.26 c SAT conflicts : 56 (6 learnts)
1.19/1.26 c Memory used : 31.06 MB
1.19/1.26 c CPU time : 1.26265 s
1.19/1.26
1.19/1.26 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 (15402 MiB free)
memory of node 1: 16384 MiB (15475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266229-1502583701/watcher-4266229-1502583701 -o /tmp/evaluation-result-4266229-1502583701/solver-4266229-1502583701 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23606 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266229-1502583701.xml
running on 4 cores: 0,2,4,6
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=26909, runsolver pid=26906
[startup+0.100115 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 26910
/proc/meminfo: memFree=31617644/32770624 swapFree=67108860/67108860
[pid=26909] ppid=26906 vsize=31800 memory=3856 CPUtime=0.1 cores=0,2,4,6
/proc/26909/stat : 26909 (cosoco) R 26906 26909 23522 0 -1 4202496 1143 0 0 0 10 0 0 0 20 0 1 0 91457916 32563200 964 33554432000 4194304 5972588 140737181637088 140737181633736 4935589 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19263488 140737181639866 140737181639966 140737181639966 140737181642702 0
/proc/26909/statm: 7950 964 757 435 0 1313 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 3856 KiB
[startup+0.209203 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 26910
/proc/meminfo: memFree=31617644/32770624 swapFree=67108860/67108860
[pid=26909] ppid=26906 vsize=31800 memory=3856 CPUtime=0.21 cores=0,2,4,6
/proc/26909/stat : 26909 (cosoco) R 26906 26909 23522 0 -1 4202496 1144 0 0 0 21 0 0 0 20 0 1 0 91457916 32563200 964 33554432000 4194304 5972588 140737181637088 140737181633736 139712799345760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19263488 140737181639866 140737181639966 140737181639966 140737181642702 0
/proc/26909/statm: 7950 964 757 435 0 1313 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 3856 KiB
[startup+0.309113 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 26910
/proc/meminfo: memFree=31617420/32770624 swapFree=67108860/67108860
[pid=26909] ppid=26906 vsize=31800 memory=3856 CPUtime=0.31 cores=0,2,4,6
/proc/26909/stat : 26909 (cosoco) R 26906 26909 23522 0 -1 4202496 1145 0 0 0 31 0 0 0 20 0 1 0 91457916 32563200 964 33554432000 4194304 5972588 140737181637088 140737181633736 4935428 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19263488 140737181639866 140737181639966 140737181639966 140737181642702 0
/proc/26909/statm: 7950 964 757 435 0 1313 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 3856 KiB
[startup+0.700276 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26910
/proc/meminfo: memFree=31617056/32770624 swapFree=67108860/67108860
[pid=26909] ppid=26906 vsize=31800 memory=3856 CPUtime=0.69 cores=0,2,4,6
/proc/26909/stat : 26909 (cosoco) R 26906 26909 23522 0 -1 4202496 1149 0 0 0 69 0 0 0 20 0 1 0 91457916 32563200 964 33554432000 4194304 5972588 140737181637088 140737181634392 4913848 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19263488 140737181639866 140737181639966 140737181639966 140737181642702 0
/proc/26909/statm: 7950 964 757 435 0 1313 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 3856 KiB
[startup+1.26464 s]
# the end of solver process 26909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.26265 s, system=0.001553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800254 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26910
/proc/meminfo: memFree=31617056/32770624 swapFree=67108860/67108860
[pid=26909] ppid=26906 vsize=31800 memory=3856 CPUtime=0.79 cores=0,2,4,6
/proc/26909/stat : 26909 (cosoco) R 26906 26909 23522 0 -1 4202496 1149 0 0 0 79 0 0 0 20 0 1 0 91457916 32563200 964 33554432000 4194304 5972588 140737181637088 140737181634392 4935490 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19263488 140737181639866 140737181639966 140737181639966 140737181642702 0
/proc/26909/statm: 7950 964 757 435 0 1313 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 3856 KiB
[startup+1.2002 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26910
/proc/meminfo: memFree=31617052/32770624 swapFree=67108860/67108860
[pid=26909] ppid=26906 vsize=31800 memory=3856 CPUtime=1.19 cores=0,2,4,6
/proc/26909/stat : 26909 (cosoco) R 26906 26909 23522 0 -1 4202496 1157 0 0 0 119 0 0 0 20 0 1 0 91457916 32563200 964 33554432000 4194304 5972588 140737181637088 140737181634392 4935463 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 19263488 140737181639866 140737181639966 140737181639966 140737181642702 0
/proc/26909/statm: 7950 964 757 435 0 1313 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 3856 KiB
Child status: 0
Real time (s): 1.26468
CPU time (s): 1.2642
CPU user time (s): 1.26265
CPU system time (s): 0.001553
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 31800
Max. memory (cumulated for all children) (KiB): 3856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26265
system time used= 0.001553
maximum resident set size= 4060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178
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= 3
# summary of solver processes directly reported to runsolver:
# pid: 26909
# total CPU time (s): 1.2642
# total CPU user time (s): 1.26265
# total CPU system time (s): 0.001553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029079 second user time and 0.076768 second system time
The end
Begin job on node112 at 2017-08-13 02:07:23
IDJOB=4266229
IDBENCH=134286
IDSOLVER=2655
FILE ID=node112/4266229-1502583701
RUNJOBID= node112-1502567254-23606
PBS_JOBID= 20628283
Free space on /tmp= 61740 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-08-04.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266229-1502583701/watcher-4266229-1502583701 -o /tmp/evaluation-result-4266229-1502583701/solver-4266229-1502583701 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23606 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266229-1502583701.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a094c1a200b315678489c063b9aa94f6
RANDOM SEED=550542343
node112.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.24
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.24
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.24
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.24
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: 31618660 kB
MemAvailable: 31786668 kB
Buffers: 84972 kB
Cached: 382776 kB
SwapCached: 0 kB
Active: 612156 kB
Inactive: 125740 kB
Active(anon): 219840 kB
Inactive(anon): 78212 kB
Active(file): 392316 kB
Inactive(file): 47528 kB
Unevictable: 6280 kB
Mlocked: 6280 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2436 kB
Writeback: 0 kB
AnonPages: 276240 kB
Mapped: 44196 kB
Shmem: 25224 kB
Slab: 113108 kB
SReclaimable: 88000 kB
SUnreclaim: 25108 kB
KernelStack: 3264 kB
PageTables: 5512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 582224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61736 MiB
End job on node112 at 2017-08-13 02:07:24