0.00/0.00 c SAT : Variables: 572 -- Clauses: 1105
0.00/0.00 c root propagations : 10
0.00/0.00 c restarts enabled, print stats at every restarts
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c This is cosoco 1.12 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266133-1502591489.xml
0.00/0.00 c ========================================[ Problem Statistics ]===========================================
0.00/0.00 c |
0.00/0.00 c | Parse time : 0.00 s
0.00/0.00 c |
0.00/0.00 c | Variables: 141
0.00/0.00 c | Domain Sizes: 1..7
0.00/0.00 c |
0.00/0.00 c | Constraints: 36
0.00/0.00 c | Arity: 7..8
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | All Different: 36
0.00/0.00 c |
0.00/0.00 c =========================================================================================================
0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.01 c 10 57 401 710 10 2 35 45 36
0.00/0.01 c 20 120 780 1378 10 4 2 43 25
0.00/0.01 c 30 263 1740 3138 10 10 3 99 38
0.00/0.01 c 40 361 2400 4391 10 15 3 59 30
0.00/0.01 c 50 444 2914 5298 10 22 3 59 32
0.00/0.01 c 60 515 3305 5952 10 27 3 53 24
0.00/0.01 c 70 616 4065 7447 10 28 32 56 41
0.00/0.01 c 80 662 4341 7998 15 31 2 22 6
0.00/0.02 c 90 750 4915 9110 15 36 3 51 29
0.00/0.02 c 100 825 5482 10161 15 40 27 41 29
0.00/0.02 c 101 828 5505 10200 15 41 3 3 1
0.00/0.02 c 110 882 5817 10704 18 49 1 36 18
0.00/0.02 c 120 1020 6587 11945 18 50 23 67 40
0.00/0.02 c 130 1137 7428 13398 18 54 30 44 33
0.00/0.02 c 140 1182 7682 13766 18 56 10 17 13
0.00/0.02 c 150 1298 8239 14767 18 58 49 60 51
0.00/0.02 c 160 1431 9142 16472 18 62 31 59 43
0.00/0.03 c 170 1526 9745 17418 18 64 31 46 32
0.00/0.03 c 180 1623 10552 18998 18 72 28 65 42
0.00/0.03 c 190 1693 10927 19565 18 73 34 39 33
0.00/0.03 c 200 1768 11592 20780 18 79 19 45 35
0.00/0.03 c 210 1844 12014 21566 18 86 19 41 31
0.00/0.03 c 211 1859 12092 21647 18 87 15 15 7
0.00/0.03 c 220 1912 12277 21943 18 88 8 14 10
0.00/0.03 c 230 2045 13026 23180 18 91 44 77 50
0.00/0.03 c 240 2143 13853 24794 18 93 34 47 35
0.00/0.04 c 250 2234 14537 26132 18 94 25 49 37
0.00/0.04 c 260 2323 15222 27468 18 97 24 52 28
0.00/0.04 c 270 2458 16379 29841 18 99 25 45 35
0.00/0.04 c 280 2519 16798 30604 18 100 26 38 29
0.00/0.04 c 290 2588 17266 31517 18 104 22 40 31
0.00/0.04 c 300 2647 17877 33063 18 106 26 34 26
0.00/0.05 c 310 2728 18470 34343 18 112 17 50 28
0.00/0.05 c 320 2798 19081 35632 18 117 16 44 30
0.00/0.05 c 330 2917 19954 37317 18 123 13 45 32
0.00/0.05 c 332 2981 20311 37828 18 125 41 46 29
0.00/0.05 c 340 3055 20721 38458 18 131 16 57 39
0.00/0.05 c 350 3114 21163 39254 18 136 19 34 22
0.00/0.05 c 360 3191 21656 40118 18 138 24 46 33
0.00/0.05 c 370 3260 22291 41416 18 143 14 41 23
0.00/0.05 c 380 3328 22663 41951 18 145 21 31 23
0.00/0.06 c 390 3400 23092 42680 18 150 15 41 29
0.00/0.06 c 400 3529 23929 44252 18 153 14 47 36
0.00/0.06 c 410 3596 24399 45058 18 161 17 48 36
0.00/0.06 c 420 3662 24907 46271 18 165 10 45 26
0.00/0.06 c 430 3733 25489 47373 18 170 11 49 35
0.00/0.06 c 440 3822 25955 48119 18 174 13 43 26
0.00/0.06 c 450 3870 26302 48925 18 179 11 34 24
0.00/0.06 c 460 3984 26924 50082 18 184 19 59 37
0.00/0.06 c 465 4028 27209 50547 18 188 26 36 24
0.00/0.07 c 470 4102 27786 51633 18 191 34 60 37
0.00/0.07 c 480 4168 28281 52682 18 194 29 41 29
0.00/0.07 c 490 4244 28805 53606 18 198 18 37 27
0.00/0.07 c 500 4341 29334 54491 18 199 29 46 35
0.00/0.07 c 510 4405 29715 55163 18 201 16 28 23
0.00/0.07 c 520 4459 30109 55925 18 204 14 36 27
0.00/0.07 c 530 4517 30688 57202 18 210 15 40 28
0.00/0.07 c 540 4651 31435 58493 18 214 15 100 51
0.00/0.08 c 550 4762 32262 60100 18 218 15 53 37
0.00/0.08 c 560 4841 32761 61042 18 223 15 44 28
0.00/0.08 c 570 4897 33172 61906 18 230 9 42 30
0.00/0.08 c 580 4983 33766 63091 18 233 39 51 39
0.00/0.08 c 590 5073 34280 64129 18 238 33 41 34
0.00/0.08 c 600 5142 34658 64815 18 242 17 42 28
0.00/0.08 c 610 5235 35218 65800 18 245 26 45 32
0.00/0.08 c 611 5254 35314 65912 18 246 19 19 9
0.00/0.08 c 620 5388 36189 67555 18 250 29 48 33
0.00/0.09 c 630 5490 36937 69134 18 253 21 48 36
0.00/0.09 c 640 5638 37687 70409 18 259 28 94 53
0.00/0.09 c 650 5746 38349 71681 18 266 30 60 42
0.00/0.09 c 660 5816 38874 72702 18 273 23 49 34
0.00/0.09 c 670 5903 39399 73599 18 277 25 53 34
0.00/0.09 c 680 6019 40033 74844 18 281 22 89 47
0.00/0.10 c 690 6159 41048 76968 18 284 42 70 47
0.00/0.10 c 700 6253 41599 77962 18 291 14 55 39
0.00/0.10 c 710 6350 42213 79153 18 294 23 54 34
0.00/0.10 c 720 6476 42914 80540 18 296 29 59 37
0.00/0.10 c 730 6555 43422 81531 18 299 30 48 34
0.00/0.10 c 740 6642 43902 82578 18 302 26 35 28
0.10/0.10 c 750 6754 44710 84216 18 309 20 62 36
0.10/0.11 c 760 6848 45221 85078 18 317 25 70 44
0.10/0.11 c 770 6936 45780 86160 18 320 16 54 37
0.10/0.11 c 771 6944 45828 86213 18 321 8 8 4
0.10/0.11 c 780 7005 46126 86769 18 323 23 32 24
0.10/0.11 c 790 7117 46899 88205 18 328 32 57 34
0.10/0.11 c 800 7190 47289 88880 18 332 30 45 34
0.10/0.11 c 810 7309 48051 90367 18 335 34 63 44
0.10/0.11 c 820 7383 48643 91498 18 342 7 51 29
0.10/0.12 c 830 7533 49413 92762 18 347 25 85 59
0.10/0.12 c 840 7657 50308 94479 18 351 31 52 38
0.10/0.12 c 850 7733 50819 95554 18 357 22 47 33
0.10/0.12 c 860 7813 51288 96348 18 364 9 54 33
0.10/0.12 c 870 7901 51920 97671 18 367 35 50 39
0.10/0.12 c 880 7987 52520 98760 18 374 32 54 37
0.10/0.12 conflict 32lvl : 34 bt34-311:0(166)X16415
0.10/0.12 c 890 8087 53106 99865 18 377 30 52 38
0.10/0.13 c 900 8190 53932 101458 18 378 41 56 40
0.10/0.13 c 910 8283 54404 102333 18 382 21 43 29
0.10/0.13 c 920 8400 55189 103844 18 385 33 80 53
0.10/0.13 c 930 8521 55836 104945 18 392 37 78 50
0.10/0.13 c 940 8595 56351 105900 18 396 30 40 29
0.10/0.13 c 947 8707 56851 106642 18 402 19 79 53
0.10/0.13 c 950 8766 57190 107168 18 405 39 57 34
0.10/0.13 c 960 8854 57889 108570 18 407 39 52 40
0.10/0.14 c 970 8955 58521 109802 18 409 42 54 44
0.10/0.14 c 980 9033 58929 110537 18 413 22 33 26
0.10/0.14 c 990 9095 59325 111250 18 416 13 30 24
0.10/0.14 c 1000 9177 59852 112432 18 420 23 43 33
0.10/0.14 c 1010 9265 60494 113734 18 424 24 51 29
0.10/0.14 c 1020 9327 60866 114396 18 429 27 44 32
0.10/0.14 c 1030 9428 61802 116277 18 434 22 51 30
0.10/0.14 c 1040 9533 62442 117571 18 439 31 52 40
0.10/0.15 c 1050 9606 62887 118369 18 445 7 37 20
0.10/0.15 c 1060 9665 63214 119008 18 449 12 29 16
0.10/0.15 c 1070 9739 63617 119730 18 453 19 34 21
0.10/0.15 c 1080 9823 64067 120519 18 459 9 45 25
0.10/0.15 c 1090 9883 64446 121201 18 463 18 32 21
0.10/0.15 c 1100 9932 64738 121698 18 467 15 22 15
0.10/0.15 c 1110 9982 65005 122178 18 469 9 20 12
0.10/0.15 c 1120 10039 65336 122763 18 472 12 24 14
0.10/0.15 c 1130 10110 65727 123363 18 475 14 32 21
0.10/0.15 c 1140 10173 66053 123954 18 477 10 23 16
0.10/0.15 c 1141 10185 66122 124042 18 478 12 12 6
0.10/0.15 c 1150 10259 66552 124876 18 481 33 44 33
0.10/0.15 c 1160 10330 66969 125638 18 483 9 24 15
0.10/0.16 c 1170 10398 67318 126196 18 487 11 22 14
0.10/0.16 conflict 7lvl : 13 bt13-86:0(45)X19599
0.10/0.16 -> -86:X(45)c 1180 10562 68123 127447 18 490 45 66 51
0.10/0.16 c 1190 10621 68454 128056 18 493 8 18 11
0.10/0.16 c 1200 10737 69138 129241 18 498 10 67 27
0.10/0.16 c 1210 10802 69489 129775 18 504 10 33 18
0.10/0.16 c 1220 10887 69934 130535 18 510 10 54 31
0.10/0.16 c 1230 10968 70456 131396 18 515 21 46 34
0.10/0.16 c 1240 11075 71097 132451 18 521 10 49 28
0.10/0.16 c 1250 11165 71653 133455 18 527 8 54 33
0.10/0.17 c 1260 11281 72308 134505 18 534 10 71 31
0.10/0.17 c 1270 11352 72658 135021 18 542 1 45 18
0.10/0.17 c 1280 11448 73139 135715 18 551 18 73 38
0.10/0.17 c 1290 11527 73518 136238 18 557 11 33 20
0.10/0.17 c 1300 11608 74033 137160 18 563 11 57 31
0.10/0.17 c 1310 11699 74450 137737 18 568 8 62 34
0.10/0.17 c 1320 11775 74804 138222 18 571 21 38 24
0.10/0.17 c 1330 11866 75366 139181 18 575 10 51 30
0.10/0.17 c 1340 12037 76429 141083 18 583 27 87 47
0.10/0.18 c 1350 12164 77047 141970 18 586 39 72 51
0.10/0.18 c 1352 12188 77169 142119 18 588 21 21 14
0.10/0.18 c 1360 12261 77618 142933 18 590 19 45 30
0.10/0.18 c 1370 12359 78223 144009 18 595 9 60 44
0.10/0.18 c 1380 12436 78653 144772 18 602 12 48 28
0.10/0.18 c 1390 12598 79664 146608 18 606 25 80 43
0.10/0.18 c 1400 12676 80105 147320 18 611 17 33 23
0.10/0.18 c 1410 12776 80701 148305 18 614 33 52 42
0.10/0.19 c 1420 12905 81536 149829 18 619 10 58 34
0.10/0.19 c 1430 12973 81874 150371 18 626 11 24 17
0.10/0.19 c 1440 13047 82304 151110 18 629 10 45 26
0.10/0.19 conflict 7lvl : 8 bt8-86:0(20)X23586
0.10/0.19 -> -86:X(20)c 1450 13151 83154 152664 18 634 31 56 38
0.10/0.19 c 1460 13252 83778 153759 18 640 11 55 30
0.10/0.19 c 1470 13350 84298 154527 18 647 10 62 33
0.10/0.19 c 1480 13429 84821 155493 18 650 8 66 30
0.10/0.19 c 1490 13530 85413 156528 18 657 7 63 28
0.10/0.20 c 1500 13611 85981 157557 18 664 3 43 20
0.10/0.20 c 1510 13719 86732 158941 18 666 35 73 53
0.10/0.20 c 1520 13842 87380 159924 18 669 10 51 38
0.10/0.20 c 1530 13961 88028 160938 18 676 11 61 34
0.10/0.20 c 1540 14108 88780 162119 18 682 12 78 45
0.10/0.20 c 1550 14194 89379 163129 18 690 21 52 33
0.10/0.20 c 1560 14364 90230 164481 18 693 40 75 50
0.10/0.21 c 1570 14468 90918 165646 18 695 33 48 35
0.10/0.21 c 1580 14586 91567 166756 18 702 19 64 44
0.10/0.21 c 1585 14658 92001 167392 18 706 23 48 30
0.10/0.21 c 1590 14736 92490 168080 18 711 39 57 39
0.10/0.21 c 1600 14877 93481 169878 18 712 43 65 51
0.10/0.21 c 1610 15022 94175 170898 18 721 19 72 44
0.10/0.21 c 1620 15093 94536 171444 18 728 31 44 34
0.21/0.21 c 1630 15168 94898 171960 18 731 15 30 21
0.21/0.22 c 1640 15258 95458 172934 18 735 5 59 37
0.21/0.22 c 1650 15345 95890 173602 18 736 15 23 17
0.21/0.22 c 1660 15456 96557 174852 18 741 33 60 38
0.21/0.22 c 1670 15564 97401 176406 18 746 18 53 35
0.21/0.22 c 1680 15632 97838 177174 18 749 28 56 39
0.21/0.22 c 1690 15726 98291 177884 18 754 9 57 27
0.21/0.22 c 1700 15824 98863 178915 18 757 41 63 46
0.21/0.22 c 1710 15974 99664 180344 18 759 12 58 38
0.21/0.23 c 1720 16079 100255 181237 18 763 18 51 37
0.21/0.23 c 1730 16229 101148 182808 18 765 17 59 38
0.21/0.23 c 1740 16352 101799 183826 18 767 14 51 38
0.21/0.23 c 1750 16494 102667 185391 18 771 17 59 37
0.21/0.23 c 1760 16607 103423 186769 18 774 10 70 44
0.21/0.23 c 1770 16745 104344 188514 18 777 34 63 42
0.21/0.24 c 1780 16872 105014 189505 18 783 12 80 44
0.21/0.24 c 1790 16970 105624 190570 19 786 1 58 38
0.21/0.24 c 1800 17048 106020 191145 19 789 17 29 20
0.21/0.24 c 1810 17162 106623 192117 19 791 32 57 37
0.21/0.24 c 1820 17271 107225 193061 19 794 27 52 39
0.21/0.24 c 1830 17381 107865 194122 19 798 28 48 35
0.21/0.24 c 1840 17489 108396 194898 19 802 15 51 25
0.21/0.24 c 1841 17511 108508 195013 19 803 22 22 11
0.21/0.24 c 1850 17619 109135 196106 19 808 38 60 47
0.21/0.25 c 1860 17714 109876 197435 19 813 25 50 39
0.21/0.25 c 1870 17805 110520 198387 19 816 46 53 45
0.21/0.25 c 1880 17897 111119 199467 19 821 15 47 29
0.21/0.25 c 1890 17976 111532 200114 19 827 15 32 21
0.21/0.25 c 1900 18062 111985 200795 19 832 7 66 39
0.21/0.25 c 1910 18204 112925 202410 19 837 40 56 43
0.21/0.26 c 1920 18350 114075 204572 19 840 27 52 35
0.21/0.26 c 1930 18465 114674 205549 19 844 31 83 56
0.21/0.26 c 1940 18567 115312 206588 19 850 30 47 33
0.21/0.26 c 1950 18670 116002 207738 19 855 26 56 37
0.21/0.26 c 1960 18745 116376 208270 19 857 13 26 16
0.21/0.26 c 1970 18859 117002 209246 19 861 17 59 34
0.21/0.26 c 1980 18936 117473 209994 19 863 33 56 42
0.21/0.26 c 1990 19031 117977 210743 19 866 25 65 45
0.21/0.27 c 2000 19123 118645 211900 19 870 30 46 33
0.21/0.27 c 2010 19226 119249 212942 19 878 22 61 33
0.21/0.27 c 2020 19294 119618 213461 19 884 14 44 30
0.21/0.27 c 2030 19401 120298 214800 19 887 9 52 34
0.21/0.27 c 2040 19479 120761 215548 19 891 19 45 29
0.21/0.27 c solution 1
0.21/0.27
0.21/0.27 v <instantiation type='solution'>
0.21/0.27 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 </list>
0.21/0.27 v <values>17 14 12 15 2 3 9 16 8 12 14 5 0 3 16 2 6 3 16 12 17 11 7 15 4 7 3 16 6 1 5 10 15 5 8 16 9 3 0 7 14 12 6 9 5 4 6 8 0 14 2 17 3 16 3 5 9 14 10 12 6 5 4 16 3 6 15 9 14 16 17 0 9 11 3 10 15 0 16 1 5 7 13 9 3 8 6 12 4 3 5 16 13 9 16 14 5 4 1 3 17 10 14 4 16 9 5 8 15 0 1 5 2 10 12 14 8 7 1 6 10 8 14 5 4 14 7 12 9 13 5 11 10 9 15 6 17 5 4 0 14 </values>
0.21/0.27 v </instantiation>
0.21/0.27
0.21/0.27 c restarts : 215
0.21/0.27 c conflicts : 2045 (7527 /sec)
0.21/0.27 c decisions : 19625 (72237 /sec)
0.21/0.27 c propagations : 216304 (796190 /sec)
0.21/0.27 c root propagations : 10
0.21/0.27 c filter calls : 121377 (446774 /sec)
0.21/0.27 c useless filter calls : 69894 (57 %)
0.21/0.27 c
0.21/0.27 c clauses : 1995
0.21/0.27 c SAT propagations : 850
0.21/0.27 c SAT conflicts : 2 (3 learnts)
0.21/0.27 c Memory used : 31.01 MB
0.21/0.27 c CPU time : 0.271674 s
0.21/0.27
0.21/0.27 s SATISFIABLE
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 (15432 MiB free)
memory of node 1: 16384 MiB (14498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266133-1502591489/watcher-4266133-1502591489 -o /tmp/evaluation-result-4266133-1502591489/solver-4266133-1502591489 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266133-1502591489.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=27825, runsolver pid=27822
[startup+0.100167 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 27826
/proc/meminfo: memFree=30649068/32770624 swapFree=67108860/67108860
[pid=27825] ppid=27822 vsize=31752 memory=3856 CPUtime=0.1 cores=0,2,4,6
/proc/27825/stat : 27825 (cosoco) R 27822 27825 23976 0 -1 4202496 1169 0 0 0 10 0 0 0 20 0 1 0 92236654 32514048 964 33554432000 4194304 5972588 140720739300704 140720739297352 4975685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23502848 140720739308730 140720739308830 140720739308830 140720739311566 0
/proc/27825/statm: 7938 964 786 435 0 1301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31752 KiB
Current children cumulated memory: 3856 KiB
[startup+0.209544 s]*
/proc/loadavg: 2.02 2.09 2.08 3/187 27826
/proc/meminfo: memFree=30648944/32770624 swapFree=67108860/67108860
[pid=27825] ppid=27822 vsize=31752 memory=4120 CPUtime=0.21 cores=0,2,4,6
/proc/27825/stat : 27825 (cosoco) R 27822 27825 23976 0 -1 4202496 1193 0 0 0 21 0 0 0 20 0 1 0 92236654 32514048 1030 33554432000 4194304 5972588 140720739300704 140720739298008 4975848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23502848 140720739308730 140720739308830 140720739308830 140720739311566 0
/proc/27825/statm: 7938 1030 807 435 0 1301 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31752 KiB
Current children cumulated memory: 4120 KiB
[startup+0.276029 s]
# the end of solver process 27825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.271917 s, system=0.003066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.276051
CPU time (s): 0.274983
CPU user time (s): 0.271917
CPU system time (s): 0.003066
CPU usage (%): 99.6131
Max. virtual memory (cumulated for all children) (KiB): 31752
Max. memory (cumulated for all children) (KiB): 4120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.271917
system time used= 0.003066
maximum resident set size= 4240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1223
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= 10
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 27825
# total CPU time (s): 0.274983
# total CPU user time (s): 0.271917
# total CPU system time (s): 0.003066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020626 second user time and 0.031546 second system time
The end
Begin job on node115 at 2017-08-13 04:17:11
IDJOB=4266133
IDBENCH=139015
IDSOLVER=2655
FILE ID=node115/4266133-1502591489
RUNJOBID= node115-1502567253-24060
PBS_JOBID= 20628280
Free space on /tmp= 61896 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh18-141/bqwh-18-141-31_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266133-1502591489/watcher-4266133-1502591489 -o /tmp/evaluation-result-4266133-1502591489/solver-4266133-1502591489 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266133-1502591489.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= abc615a3402994e7b41e934fabdebd2e
RANDOM SEED=1879134176
node115.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.69
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.69
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.69
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.69
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: 30649228 kB
MemAvailable: 30807184 kB
Buffers: 98652 kB
Cached: 346996 kB
SwapCached: 0 kB
Active: 1526624 kB
Inactive: 153248 kB
Active(anon): 1181476 kB
Inactive(anon): 81056 kB
Active(file): 345148 kB
Inactive(file): 72192 kB
Unevictable: 6212 kB
Mlocked: 6212 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2604 kB
Writeback: 0 kB
AnonPages: 1244644 kB
Mapped: 44452 kB
Shmem: 25224 kB
Slab: 138096 kB
SReclaimable: 112900 kB
SUnreclaim: 25196 kB
KernelStack: 3472 kB
PageTables: 7776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 1656520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1169408 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61896 MiB
End job on node115 at 2017-08-13 04:17:11