| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | UNSAT | 40.4506 | 40.4774 |
| Name | Rlfap/ Rlfap-m1-scens11/Rlfap-scen-11-f05.xml |
| MD5SUM | f8050e8ddc741b4fb4a45c7e8cfb7628 |
| 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 | 12.0422 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Number of domains | 5 |
| Minimum domain size | 6 |
| Maximum domain size | 39 |
| Distribution of domain sizes | [{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 62 |
| Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":4103}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4103 |
| Distribution of constraint types | [{"type":"intension","count":4103}] |
| Optimization problem | NO |
| Type of objective |
4.59/4.62 c SAT : Variables: 23860 -- Clauses: 413564 4.59/4.69 c root propagations : 2996 4.59/4.69 c restarts enabled, print stats at every restarts 4.59/4.69 c 4.59/4.69 c 4.59/4.69 c 4.59/4.69 c This is cosoco 1.0 -- 4.59/4.69 c 4.59/4.69 c ========================================[ Problem Statistics ]=========================================== 4.59/4.69 c | 4.59/4.69 c | Parse time : 4.59 s 4.59/4.69 c | 4.59/4.69 c | Variables: 680 4.59/4.69 c | Domain Sizes: 6..39 4.59/4.69 c | 4.59/4.69 c | Constraints: 4103 4.59/4.69 c | Arity: 2..2 -- Binary: 4103 4.59/4.69 c | 4.59/4.69 c | Types: 4.59/4.69 c | Intension: 4103 4.59/4.69 c | 4.59/4.69 c ========================================================================================================= 4.59/4.69 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.69/4.74 c 10 362 40347 13208 668 3 346 349 315 4.69/4.75 c 20 391 46955 16305 668 6 5 15 6 4.69/4.76 c 30 408 51155 18619 668 14 7 8 6 4.69/4.77 c 40 434 57953 20691 668 23 11 13 10 4.69/4.77 c 50 450 61639 22804 668 31 5 7 5 4.69/4.78 c 60 471 67902 25077 668 37 5 11 7 4.69/4.79 c 70 494 73326 27867 668 42 5 12 6 4.79/4.80 c 80 521 79574 30936 668 45 5 12 6 4.79/4.81 c 90 545 86045 33644 668 51 7 12 8 4.79/4.82 c 100 568 91426 36205 668 56 5 12 6 4.79/4.82 c 101 578 94120 37113 668 57 10 10 5 4.79/4.83 c 110 599 101174 39133 668 65 10 11 9 4.79/4.84 c 120 621 107969 42118 668 72 4 8 5 4.79/4.85 c 130 641 114229 44312 668 82 4 10 6 4.79/4.86 c 140 667 120387 47083 668 85 5 7 5 4.79/4.87 c 150 691 126336 49834 668 87 10 12 9 4.79/4.87 c 160 706 130053 51894 668 97 4 6 3 4.79/4.88 c 170 727 136232 54423 668 104 5 10 7 4.79/4.89 c 180 755 141941 56828 668 106 11 13 10 4.89/4.90 c 190 782 148556 59675 668 109 11 12 10 4.89/4.91 c 200 802 152710 62345 668 112 5 7 5 4.89/4.91 c 210 828 158892 65024 668 114 11 13 10 4.89/4.92 c 211 841 162111 66002 668 115 13 13 6 4.89/4.93 c 220 860 167461 68036 668 121 5 10 7 4.89/4.94 c 230 892 174169 70686 668 126 11 13 10 4.89/4.94 c 240 916 180110 73419 668 128 10 12 9 4.89/4.95 c 250 947 187301 76447 668 133 6 13 7 4.89/4.96 c 260 971 193366 78878 668 140 5 11 7 4.89/4.97 c 270 995 199557 81423 668 147 5 11 7 4.89/4.98 c 280 1023 207588 84112 668 153 9 11 9 4.89/4.99 c 290 1044 213811 86278 668 163 5 11 7 4.99/5.00 c 300 1064 217735 88363 668 168 9 9 8 4.99/5.01 c 310 1090 223843 91053 668 170 11 13 10 4.99/5.02 c 320 1116 230332 93910 668 173 10 12 9 4.99/5.02 c 330 1144 236139 96404 668 175 11 13 10 4.99/5.03 c 332 1160 239957 97657 668 177 13 13 8 4.99/5.04 c 340 1184 245803 100037 668 181 11 13 10 4.99/5.05 c 350 1205 252030 102203 668 191 5 11 7 4.99/5.05 c 360 1225 255874 104247 668 196 9 9 8 4.99/5.06 c 370 1253 261785 106859 668 198 11 13 10 4.99/5.07 c 380 1279 268123 109251 668 203 11 11 10 4.99/5.08 c 390 1304 275279 112231 668 207 10 11 9 4.99/5.09 c 400 1332 281613 114912 668 213 9 13 8 4.99/5.10 c 410 1356 287674 117301 668 220 5 11 7 5.09/5.10 c 420 1381 294337 119750 668 228 9 12 9 5.09/5.11 c 430 1409 300574 122434 668 233 7 9 7 5.09/5.12 c 440 1435 306761 125111 668 235 11 13 10 5.09/5.13 c 450 1467 313410 127626 668 240 11 13 10 5.09/5.14 c 460 1491 319421 130420 668 242 10 12 9 5.09/5.15 c 465 1504 323114 131882 668 247 7 9 7 5.09/5.15 c 470 1523 327337 133547 668 248 11 13 9 5.09/5.16 c 480 1546 333483 136090 668 255 5 11 7 5.09/5.17 c 490 1576 342199 138463 668 257 11 13 10 5.09/5.18 c 500 1602 349239 141018 668 265 9 12 10 5.09/5.19 c 510 1628 355101 143640 668 267 10 12 9 5.19/5.20 c 520 1650 359892 146230 668 272 9 9 8 5.19/5.21 c 530 1671 365831 148762 668 277 10 10 9 5.19/5.21 c 540 1697 372104 150970 668 282 11 11 10 5.19/5.22 c 550 1723 378317 153704 668 284 11 13 10 5.19/5.23 c 560 1751 385281 156550 668 289 10 12 9 5.19/5.24 c 570 1774 392304 158799 668 295 9 12 9 5.19/5.25 c 580 1803 401086 161190 668 297 11 12 10 5.19/5.26 c 590 1831 407688 164074 668 300 10 13 10 5.19/5.27 c 600 1853 412821 166565 668 305 7 9 7 5.19/5.28 c 610 1874 419110 168760 668 315 5 11 7 5.19/5.28 c 611 1883 421661 169556 668 316 9 9 4 5.19/5.29 c 620 1912 427777 172074 668 320 11 13 10 5.29/5.30 c 630 1937 434623 174183 668 329 9 12 9 5.29/5.31 c 640 1959 439472 176498 668 333 9 9 8 5.29/5.32 c 650 1986 448086 179267 668 337 10 11 9 5.29/5.33 c 660 2008 453763 182252 668 346 7 9 7 5.29/5.34 c 670 2034 459316 184429 668 349 11 13 10 5.29/5.35 c 680 2060 468853 186972 668 353 10 11 9 5.29/5.35 c 690 2080 473122 189213 668 359 9 9 8 5.29/5.36 c 700 2108 480127 191178 668 368 11 13 10 5.29/5.37 c 710 2134 487915 194299 668 373 10 11 9 5.29/5.38 c 720 2160 494911 196318 668 382 11 13 10 5.29/5.39 c 730 2182 500203 198983 668 388 7 9 7 5.39/5.40 c 740 2206 506382 201508 668 395 5 11 7 5.39/5.41 c 750 2228 513122 203767 668 399 9 12 9 5.39/5.42 c 760 2254 519844 206204 668 402 7 9 8 5.39/5.43 c 770 2280 525214 208501 668 405 11 13 10 5.39/5.43 c 771 2291 528487 209459 668 406 11 11 5 5.39/5.44 c 780 2312 533197 211487 668 411 9 9 8 5.39/5.45 c 790 2344 540074 214099 668 415 11 13 10 5.39/5.46 c 800 2365 546339 216736 668 421 10 10 9 5.39/5.47 c 810 2389 554046 218884 668 430 11 12 10 5.39/5.48 c 820 2415 561182 221800 668 435 10 12 9 5.39/5.49 c 830 2440 570053 224248 668 444 11 12 10 5.39/5.49 c 840 2462 575013 226572 668 447 9 9 8 5.49/5.50 c 850 2486 581084 229003 668 454 5 11 7 5.49/5.52 c 860 2514 590256 231547 668 458 8 12 9 5.49/5.52 c 870 2534 594166 233348 668 463 9 9 8 5.49/5.53 c 880 2562 600966 236126 668 468 10 12 9 5.49/5.54 c 890 2593 609893 238561 668 470 10 12 9 5.49/5.55 c 900 2615 614799 240780 668 475 7 9 7 5.49/5.56 c 910 2637 621062 242947 668 485 5 12 8 5.49/5.57 c 920 2661 626911 245890 668 492 7 9 7 5.49/5.58 c 930 2687 633918 247884 668 501 11 13 10 5.49/5.59 c 940 2709 640385 250401 668 505 10 10 9 5.49/5.59 c 947 2727 645625 252448 668 510 10 10 8 5.49/5.60 c 950 2738 649160 253664 668 513 8 8 6 5.59/5.61 c 960 2767 658330 256201 668 516 11 12 10 5.59/5.62 c 970 2798 667412 258767 668 520 11 13 10 5.59/5.63 c 980 2829 675251 261944 668 526 11 12 10 5.59/5.64 c 990 2849 680235 264407 668 535 7 9 7 5.59/5.65 c 1000 2874 687380 266667 668 536 11 12 10 5.59/5.66 c 1010 2894 693110 269292 668 543 7 9 7 5.59/5.67 c 1020 2918 699194 271747 668 550 5 11 7 5.59/5.68 c 1030 2946 709232 274834 668 557 9 12 9 5.59/5.69 c 1040 2966 714084 277273 668 565 7 9 7 5.69/5.70 c 1050 2992 720449 279542 668 570 11 11 10 5.69/5.71 c 1060 3015 727794 281807 668 577 9 12 9 5.69/5.72 c 1070 3041 736671 284229 668 586 11 12 10 5.69/5.73 c 1080 3064 742077 286859 668 589 8 9 7 5.69/5.74 c 1090 3091 750265 289137 668 592 11 12 10 5.69/5.74 c 1100 3111 754166 291106 668 597 9 9 8 5.69/5.75 c 1110 3135 761280 293371 668 598 10 11 9 5.69/5.76 c 1120 3157 766184 295725 668 603 7 9 7 5.69/5.77 c 1130 3180 774228 297876 668 609 9 11 9 5.69/5.78 c 1140 3203 780520 300411 668 618 7 9 7 5.69/5.78 c 1141 3212 783001 301299 668 619 9 9 4 5.69/5.80 c 1150 3236 791037 303388 668 625 10 12 9 5.79/5.80 c 1160 3261 798041 305227 668 626 8 12 9 5.79/5.82 c 1170 3286 806174 308066 668 632 9 11 9 5.79/5.83 c 1180 3314 814144 310337 668 635 10 13 9 5.79/5.84 c 1190 3336 820577 313081 668 640 10 10 9 5.79/5.85 c 1200 3361 828948 315270 668 647 10 12 9 5.79/5.86 c 1210 3382 835934 317549 668 652 9 11 9 5.79/5.87 c 1220 3408 844026 319733 668 661 11 12 10 5.79/5.88 c 1230 3441 852313 321925 668 664 8 13 10 5.79/5.89 c 1240 3472 861294 324360 668 666 10 12 9 5.89/5.90 c 1250 3495 867627 326893 668 675 7 9 7 5.89/5.91 c 1260 3522 875673 329411 668 683 11 12 10 5.89/5.92 c 1270 3544 880147 331336 668 685 9 9 8 5.89/5.93 c 1280 3575 888489 333660 668 692 10 11 9 5.89/5.93 c 1290 3597 893020 335585 668 694 9 9 8 5.89/5.94 c 1300 3625 901273 338451 668 700 9 11 9 5.89/5.96 c 1310 3651 909796 340898 668 703 7 11 8 5.89/5.96 c 1320 3671 914061 343032 668 708 7 9 7 5.89/5.97 c 1330 3699 919997 345638 668 710 11 13 10 5.89/5.98 c 1340 3726 927820 347861 668 713 10 12 10 5.89/5.99 c 1350 3746 932079 350113 668 718 7 9 7 5.89/5.99 c 1352 3762 936532 351380 668 720 13 13 8 5.99/6.00 c 1360 3786 943210 353288 668 727 11 13 10 5.99/6.01 c 1370 3810 951927 355539 668 732 10 11 9 5.99/6.02 c 1380 3834 957622 357690 668 742 7 9 7 5.99/6.03 c 1390 3860 965830 359819 668 744 11 12 10 5.99/6.04 c 1400 3883 970874 362234 668 748 8 9 8 5.99/6.05 c 1410 3909 977972 364438 668 753 11 11 10 5.99/6.06 c 1420 3936 985128 367426 668 757 10 12 9 5.99/6.07 c 1430 3960 992152 369827 668 760 9 12 9 5.99/6.08 c 1440 3986 999371 371874 668 769 11 13 10 5.99/6.09 c 1450 4012 1008267 374173 668 773 11 12 10 6.09/6.10 c 1460 4036 1015502 376275 668 782 11 12 10 6.09/6.11 c 1470 4059 1022768 378283 668 783 11 12 10 6.09/6.12 c 1480 4079 1026955 380375 668 788 7 9 7 6.09/6.13 c 1490 4107 1034978 383017 668 793 10 12 9 6.09/6.14 c 1500 4132 1043258 385253 668 801 10 12 10 6.09/6.15 c 1510 4154 1048722 387291 668 811 7 9 7 6.09/6.16 c 1520 4179 1057566 389690 668 820 11 12 10 6.09/6.16 c 1530 4203 1063242 391929 668 830 7 9 7 6.09/6.18 c 1540 4229 1072081 394193 668 837 11 12 10 6.09/6.18 c 1550 4252 1077078 396580 668 841 8 9 8 6.09/6.19 c 1560 4279 1084977 398850 668 844 10 12 10 6.19/6.20 c 1570 4301 1089980 401329 668 849 7 9 8 6.19/6.21 c 1580 4328 1098911 403817 668 857 11 12 10 6.19/6.22 c 1585 4343 1102400 405075 668 859 9 9 7 6.19/6.23 c 1590 4358 1107133 406449 668 864 10 11 8 6.19/6.23 c 1600 4378 1111722 409261 668 873 7 9 6 6.19/6.24 c 1610 4404 1119233 411292 668 875 10 12 10 6.19/6.25 c 1620 4422 1122991 413730 668 880 7 9 7 6.19/6.26 c 1630 4448 1129901 416049 668 888 9 12 10 6.19/6.27 c 1640 4475 1137791 418223 668 897 11 13 10 6.19/6.28 c 1650 4501 1144663 420936 668 901 7 9 7 6.19/6.29 c 1660 4526 1151980 423349 668 905 10 12 9 6.29/6.30 c 1670 4552 1160816 425616 668 908 10 12 9 6.29/6.31 c 1680 4575 1165691 428013 668 913 6 9 7 6.29/6.32 c 1690 4601 1173840 430117 668 920 11 12 10 6.29/6.33 c 1700 4624 1180538 432469 668 924 10 11 9 6.29/6.34 c 1710 4651 1189140 434906 668 927 11 12 10 6.29/6.35 c 1720 4678 1197771 437263 668 930 11 12 10 6.29/6.36 c 1730 4704 1206011 439480 668 937 11 12 10 6.29/6.37 c 1740 4727 1214595 441647 668 944 10 11 9 6.29/6.38 c 1750 4755 1222703 444018 668 947 10 12 10 6.29/6.39 c 1760 4780 1230889 446232 668 956 11 12 10 6.39/6.41 c 1770 4807 1239574 449011 668 962 10 13 10 6.39/6.42 c 1780 4829 1246267 451411 668 966 9 12 9 6.39/6.42 c 1790 4852 1252414 454519 668 971 7 9 7 6.39/6.43 c 1800 4873 1260233 456583 668 976 10 10 9 6.39/6.45 c 1810 4898 1268713 458785 668 979 10 12 10 6.39/6.46 c 1820 4923 1276961 460914 668 980 9 12 9 6.39/6.47 c 1830 4946 1285815 463098 668 987 10 11 9 6.39/6.48 c 1840 4966 1290347 465512 668 989 9 9 8 6.39/6.48 c 1841 4977 1294494 466480 668 990 11 11 5 6.39/6.49 c 1850 4998 1299363 468945 668 993 9 9 8 6.49/6.50 c 1860 5024 1306416 470931 668 1002 11 13 10 6.49/6.51 c 1870 5049 1314643 473204 668 1011 11 12 10 6.49/6.52 c 1880 5073 1322366 475375 668 1020 11 12 10 6.49/6.53 c 1890 5097 1330530 477501 668 1022 10 11 9 6.49/6.54 c 1900 5115 1335590 479787 668 1031 7 9 6 6.49/6.55 c 1910 5139 1342816 481886 668 1040 8 11 8 6.49/6.56 c 1920 5166 1350457 483964 668 1042 10 12 10 6.49/6.57 c 1930 5189 1356475 486944 668 1046 7 9 7 6.49/6.58 c 1940 5218 1364052 489137 668 1048 11 13 11 6.49/6.59 c 1950 5243 1371668 491582 668 1053 10 12 9 6.49/6.60 c 1960 5269 1378713 493565 668 1062 11 13 10 6.59/6.61 c 1970 5292 1384380 495978 668 1067 8 9 8 6.59/6.62 c 1980 5320 1391609 498067 668 1076 11 13 10 6.59/6.63 c 1990 5342 1396212 500128 668 1081 9 9 8 6.59/6.64 c 2000 5366 1403886 502287 668 1090 11 12 10 6.59/6.65 c 2010 5392 1411505 504772 668 1095 11 12 10 6.59/6.66 c 2020 5413 1416181 506829 668 1098 9 9 8 6.59/6.66 c 2030 5440 1423239 508878 668 1107 10 12 10 6.59/6.67 c 2040 5462 1428368 511341 668 1110 7 9 7 6.59/6.68 c 2050 5488 1435468 513416 668 1119 11 13 10 6.59/6.69 c 2060 5516 1444735 515802 668 1123 8 12 9 6.59/6.70 c 2070 5538 1449513 517729 668 1128 9 9 8 6.69/6.71 c 2080 5566 1457822 520062 668 1137 11 13 10 6.69/6.72 c 2090 5590 1466265 522310 668 1142 10 11 9 6.69/6.73 c 2100 5616 1472427 524854 668 1146 7 9 7 6.69/6.74 c 2110 5644 1479700 527403 668 1150 11 13 10 6.69/6.75 c 2120 5673 1488368 529847 668 1154 9 12 10 6.69/6.76 c 2122 5685 1492435 531187 668 1156 10 11 7 6.69/6.76 c 2130 5705 1497255 533372 668 1160 7 9 7 6.69/6.78 c 2140 5732 1505437 535599 668 1162 11 12 10 6.69/6.78 c 2150 5756 1510598 537698 668 1166 9 9 8 6.69/6.79 c 2160 5782 1518052 540168 668 1170 11 12 10 6.78/6.80 c 2170 5805 1523979 542802 668 1172 6 9 6 6.78/6.81 c 2180 5831 1530469 545131 668 1180 9 12 10 6.78/6.82 c 2190 5859 1539748 547694 668 1184 10 12 9 6.78/6.83 c 2200 5882 1547038 550678 668 1187 6 8 6 6.78/6.84 c 2210 5905 1554548 553219 668 1191 10 11 9 6.78/6.85 c 2220 5924 1560445 555197 668 1196 6 7 6 6.78/6.86 c 2230 5948 1568962 557534 668 1199 9 11 9 6.78/6.87 c 2240 5968 1574641 559642 668 1203 7 7 6 6.78/6.88 c 2250 5994 1582634 561955 668 1206 9 12 9 6.78/6.89 c 2260 6016 1590220 563803 668 1210 8 10 8 6.88/6.90 c 2270 6042 1597883 565820 668 1214 10 11 9 6.88/6.91 c 2280 6066 1605426 568528 668 1218 6 9 6 6.88/6.92 c 2290 6093 1613751 570939 668 1224 10 12 9 6.88/6.93 c 2300 6124 1622864 573451 668 1228 10 12 10 6.88/6.94 c 2310 6147 1630803 576053 668 1229 6 8 6 6.88/6.95 c 2320 6176 1639861 578541 668 1234 10 12 10 6.88/6.97 c 2330 6210 1650326 581002 668 1238 5 9 6 6.88/6.98 c 2340 6239 1660144 583460 668 1241 10 12 9 6.88/6.99 c 2350 6263 1665625 585787 668 1245 7 9 7 6.98/7.00 c 2360 6287 1672612 587749 668 1254 11 12 10 6.98/7.00 c 2370 6307 1676703 589494 668 1256 9 9 8 6.98/7.01 c 2380 6331 1683690 591517 668 1265 11 12 10 6.98/7.02 c 2390 6352 1688478 593707 668 1266 7 9 7 6.98/7.03 c 2400 6373 1694763 595902 668 1276 5 11 7 6.98/7.03 c 2410 6392 1698933 597827 668 1282 6 8 6 6.98/7.04 c 2420 6416 1706380 599864 668 1291 11 12 10 6.98/7.05 c 2430 6441 1715551 602320 668 1295 9 12 10 6.98/7.06 c 2431 6446 1717727 603289 668 1296 5 5 2 6.98/7.07 c 2440 6469 1724576 605293 668 1304 11 13 10 6.98/7.08 c 2450 6493 1732567 607542 668 1309 10 11 9 6.98/7.08 c 2460 6513 1736603 609728 668 1314 9 9 8 6.98/7.09 c 2470 6536 1744255 611825 668 1323 10 11 9 7.08/7.10 c 2480 6562 1752244 614097 668 1326 10 12 9 7.08/7.11 c 2490 6586 1759931 616195 668 1335 11 12 10 7.08/7.12 c 2500 6610 1768374 618676 668 1338 10 11 9 7.08/7.13 c 2510 6630 1772409 620862 668 1343 9 9 8 7.08/7.14 c 2520 6658 1780975 623096 668 1352 8 12 10 7.08/7.15 c 2530 6682 1788414 626027 668 1353 6 8 6 7.08/7.16 c 2540 6707 1796371 628288 668 1362 11 12 10 7.08/7.17 c 2550 6734 1805154 631037 668 1366 10 11 9 7.08/7.18 c 2560 6756 1809906 633258 668 1371 7 9 7 7.08/7.19 c 2570 6782 1818372 635676 668 1374 7 11 8 7.18/7.20 c 2580 6801 1824256 637658 668 1379 6 7 6 7.18/7.21 c 2590 6825 1831239 639599 668 1388 11 12 10 7.18/7.22 c 2600 6850 1838848 642073 668 1392 10 12 9 7.18/7.23 c 2610 6873 1847142 644229 668 1399 10 11 9 7.18/7.24 c 2620 6902 1855430 646609 668 1402 10 12 10 7.18/7.25 c 2630 6929 1864190 649596 668 1409 9 12 9 7.18/7.26 c 2640 6951 1871649 651604 668 1414 9 10 8 7.18/7.27 c 2650 6974 1880363 654017 668 1420 10 11 9 7.18/7.28 c 2660 6994 1885618 656482 668 1430 7 9 6 7.18/7.29 c 2670 7020 1893858 658660 668 1431 9 12 9 7.28/7.30 c 2680 7040 1899844 660800 668 1437 8 10 8 7.28/7.31 c 2690 7064 1907037 662887 668 1446 11 12 10 7.28/7.32 c 2700 7089 1915120 665118 668 1455 11 12 10 7.28/7.33 c 2710 7113 1920315 667496 668 1458 9 9 8 7.28/7.34 c 2720 7138 1929229 669937 668 1467 11 12 10 7.28/7.34 c 2730 7158 1933285 671958 668 1472 9 9 8 7.28/7.36 c 2740 7184 1941841 674450 668 1480 11 12 10 7.28/7.36 c 2750 7206 1946820 676673 668 1485 7 9 7 7.28/7.37 c 2760 7230 1955570 679154 668 1489 10 11 9 7.28/7.38 c 2770 7250 1961177 681266 668 1493 7 7 6 7.28/7.39 c 2771 7261 1965104 682314 668 1494 11 11 5 7.38/7.40 c 2780 7284 1972030 684414 668 1497 10 11 9 7.38/7.40 c 2790 7304 1976652 686541 668 1504 7 9 7 7.38/7.41 c 2800 7330 1984054 688563 668 1506 10 12 10 7.38/7.42 c 2810 7354 1991242 691167 668 1511 6 9 6 7.38/7.43 c 2820 7377 1998806 693709 668 1515 10 11 9 7.38/7.44 c 2830 7398 2004151 695877 668 1518 6 9 7 7.38/7.45 c 2840 7424 2012047 698130 668 1521 10 12 9 7.38/7.46 c 2850 7452 2019376 700182 668 1530 11 13 10 7.38/7.47 c 2860 7479 2028037 702665 668 1535 10 12 10 7.38/7.48 c 2870 7500 2034391 705286 668 1541 10 10 9 7.38/7.49 c 2880 7524 2041336 707235 668 1550 11 12 10 7.48/7.50 c 2890 7541 2045926 709662 668 1558 7 8 6 7.48/7.51 c 2900 7565 2053564 711827 668 1567 11 12 10 7.48/7.52 c 2910 7589 2061303 713907 668 1576 11 12 10 7.48/7.53 c 2920 7612 2069615 716085 668 1583 10 11 9 7.48/7.54 c 2930 7639 2078250 718447 668 1586 10 12 9 7.48/7.55 c 2940 7663 2086694 720917 668 1589 10 11 9 7.48/7.56 c 2950 7685 2091896 722995 668 1592 7 9 7 7.48/7.57 c 2960 7706 2099726 724899 668 1597 10 10 9 7.48/7.58 c 2970 7733 2108906 727339 668 1605 11 12 10 7.48/7.59 c 2980 7749 2113028 729376 668 1615 7 7 6 7.58/7.60 c 2990 7773 2121561 731725 668 1623 9 11 9 7.58/7.61 c 3000 7796 2130091 733919 668 1630 10 11 9 7.58/7.62 c 3010 7819 2136989 735977 668 1639 10 11 9 7.58/7.63 c 3020 7843 2144261 738078 668 1648 11 12 10 7.58/7.64 c 3030 7869 2152729 740457 668 1651 11 12 10 7.58/7.65 c 3040 7897 2160041 742554 668 1660 11 13 10 7.58/7.66 c 3050 7922 2168132 744808 668 1669 11 12 10 7.58/7.67 c 3060 7946 2176387 747022 668 1672 10 11 9 7.58/7.68 c 3070 7970 2184763 749618 668 1681 6 8 6 7.58/7.69 c 3080 7996 2192990 751788 668 1688 11 12 10 7.58/7.70 c 3090 8021 2201549 754144 668 1691 10 11 9 7.69/7.71 c 3100 8047 2208552 756129 668 1700 11 13 10 7.69/7.72 c 3110 8069 2215270 758371 668 1702 6 8 6 7.69/7.73 c 3120 8095 2221784 760747 668 1710 9 12 10 7.69/7.74 c 3130 8120 2230425 762918 668 1717 10 12 9 7.69/7.75 c 3140 8147 2239684 765504 668 1721 9 10 8 7.69/7.76 c 3142 8157 2242572 766423 668 1723 6 9 5 7.69/7.77 c 3150 8181 2250167 768687 668 1730 11 13 10 7.69/7.78 c 3160 8205 2258668 771508 668 1737 9 11 9 7.69/7.79 c 3170 8232 2267423 773857 668 1740 11 12 10 7.69/7.80 c 3180 8259 2276111 776134 668 1744 5 8 5 7.79/7.81 c 3190 8284 2283060 778146 668 1753 10 12 9 7.79/7.82 c 3200 8307 2288136 780372 668 1758 8 9 8 7.79/7.83 c 3210 8330 2296033 782562 668 1760 9 11 9 7.79/7.83 c 3220 8347 2300478 784828 668 1768 7 8 6 7.79/7.84 c 3230 8373 2308620 787006 668 1775 11 12 10 7.79/7.85 c 3240 8401 2315877 789064 668 1784 11 13 10 7.79/7.86 c 3250 8422 2320395 790882 668 1787 8 9 8 7.79/7.87 c 3260 8447 2327912 793078 668 1796 11 12 10 7.79/7.88 c 3270 8473 2337001 795541 668 1805 11 12 10 7.79/7.89 c 3280 8494 2341956 798058 668 1810 6 9 7 7.88/7.90 c 3290 8519 2350463 800497 668 1819 11 12 10 7.88/7.91 c 3300 8542 2358577 802683 668 1821 10 11 9 7.88/7.92 c 3310 8562 2363752 805075 668 1828 7 9 7 7.88/7.93 c 3320 8591 2372248 807386 668 1831 10 12 10 7.88/7.94 c 3330 8617 2378591 810414 668 1834 6 11 6 7.88/7.95 c 3340 8639 2383938 812739 668 1839 7 9 7 7.88/7.96 c 3350 8662 2392448 814920 668 1846 10 11 9 7.88/7.97 c 3360 8689 2399854 816994 668 1855 11 13 10 7.88/7.97 c 3370 8709 2403948 819146 668 1860 9 9 8 7.88/7.98 c 3380 8734 2412748 821599 668 1869 11 12 10 7.88/7.99 c 3390 8754 2418236 824142 668 1874 7 8 7 7.98/8.00 c 3400 8778 2426250 826275 668 1876 10 12 10 7.98/8.01 c 3410 8803 2435171 828719 668 1885 11 12 10 7.98/8.02 c 3420 8823 2439376 830893 668 1890 7 9 7 7.98/8.03 c 3430 8851 2448064 833262 668 1893 10 13 9 7.98/8.04 c 3440 8876 2456248 835441 668 1895 10 12 10 7.98/8.05 c 3450 8899 2465052 837640 668 1902 10 11 9 7.98/8.06 c 3460 8921 2469930 839924 668 1905 7 9 7 7.98/8.07 c 3470 8945 2478146 842199 668 1914 10 11 9 7.98/8.08 c 3480 8971 2485747 844742 668 1919 11 12 10 7.98/8.09 c 3490 8991 2489897 846700 668 1923 7 9 7 8.08/8.10 c 3500 9014 2497865 848821 668 1926 10 11 9 8.08/8.10 c 3510 9034 2501959 850973 668 1931 9 9 8 8.08/8.11 c 3520 9060 2510698 853291 668 1934 11 12 10 8.08/8.12 c 3530 9082 2515590 855606 668 1939 7 9 7 8.08/8.13 c 3540 9113 2524016 858435 668 1941 6 12 9 8.08/8.14 c 3550 9137 2530356 861196 668 1944 10 11 9 8.08/8.15 c 3551 9148 2534190 862205 668 1945 11 11 5 8.08/8.16 c 3560 9172 2542620 864486 668 1948 10 12 10 8.08/8.16 c 3570 9196 2547948 866838 668 1953 7 9 7 8.08/8.18 c 3580 9221 2556082 869035 668 1962 11 12 10 8.08/8.19 c 3590 9246 2563596 871421 668 1967 10 11 9 8.08/8.19 c 3600 9264 2568745 873531 668 1977 7 8 6 8.18/8.20 c 3610 9290 2576674 875800 668 1980 10 12 9 8.18/8.21 c 3620 9313 2584357 878376 668 1985 10 11 9 8.18/8.22 c 3630 9333 2589094 880652 668 1986 6 8 6 8.18/8.23 c 3640 9359 2596974 883522 668 1993 9 12 9 8.18/8.24 c 3650 9383 2605685 886445 668 2000 10 10 9 8.18/8.25 c 3660 9408 2613859 888647 668 2009 11 12 10 8.18/8.27 c 3670 9432 2622804 891107 668 2013 8 11 9 8.18/8.27 c 3680 9455 2627789 893251 668 2016 8 9 7 8.18/8.28 c 3690 9482 2635536 895348 668 2018 10 12 10 8.18/8.29 c 3700 9503 2641602 897637 668 2020 6 7 6 8.28/8.30 c 3710 9528 2649738 899816 668 2024 10 12 9 8.28/8.31 c 3720 9550 2658364 902099 668 2030 10 10 9 8.28/8.32 c 3730 9573 2666929 904283 668 2037 10 11 9 8.28/8.33 c 3740 9597 2673910 906192 668 2042 11 11 10 8.28/8.34 c 3750 9619 2678679 908237 668 2046 9 9 8 8.28/8.35 c 3760 9644 2686183 910734 668 2050 10 12 9 8.28/8.36 c 3770 9666 2693707 912653 668 2054 10 10 9 8.28/8.37 c 3780 9685 2698415 914586 668 2058 6 6 5 8.28/8.38 c 3790 9709 2706888 916963 668 2062 8 11 8 8.28/8.39 c 3800 9736 2715637 919722 668 2068 10 11 9 8.38/8.40 c 3810 9755 2721309 921983 668 2072 4 6 5 8.38/8.41 c 3820 9781 2730138 924621 668 2079 9 11 9 8.38/8.42 c 3830 9800 2735631 927128 668 2089 7 8 6 8.38/8.43 c 3840 9825 2743823 929337 668 2098 11 12 10 8.38/8.44 c 3850 9851 2752130 931456 668 2107 8 11 9 8.38/8.45 c 3860 9874 2759672 934063 668 2111 10 11 9 8.38/8.46 c 3870 9895 2766245 936489 668 2115 6 7 5 8.38/8.47 c 3880 9919 2774173 938725 668 2118 10 11 9 8.38/8.48 c 3890 9936 2780280 940668 668 2119 6 7 5 8.38/8.49 c 3900 9961 2787695 943161 668 2124 10 12 9 8.48/8.50 c 3910 9986 2795119 945497 668 2126 10 11 9 8.48/8.50 c 3920 10008 2799835 947307 668 2131 7 9 7 8.48/8.51 c 3930 10034 2808484 949713 668 2135 10 11 9 8.48/8.52 c 3940 10056 2813110 951689 668 2138 9 9 8 8.48/8.53 c 3950 10078 2821849 954117 668 2142 8 10 8 8.48/8.54 c 3960 10099 2827241 955820 668 2146 6 8 6 8.48/8.55 c 3970 10126 2835757 958223 668 2150 8 11 9 8.48/8.56 c 3980 10151 2843477 960389 668 2152 10 11 9 8.48/8.57 c 3990 10168 2847993 962744 668 2161 7 8 6 8.48/8.58 c 4000 10192 2857818 965491 668 2167 8 10 8 8.48/8.58 c 4001 10199 2860319 966341 668 2168 7 7 3 8.48/8.59 c 4010 10218 2867092 968459 668 2174 8 10 8 8.58/8.61 c 4020 10242 2875918 970711 668 2175 9 12 10 8.58/8.61 c 4030 10263 2880987 972722 668 2182 6 8 6 8.58/8.62 c 4040 10286 2888503 974860 668 2184 8 10 8 8.58/8.63 c 4050 10310 2895887 977154 668 2190 9 11 9 8.58/8.64 c 4060 10332 2900588 978950 668 2195 7 9 7 8.58/8.65 c 4070 10359 2909716 981576 668 2199 9 10 9 8.58/8.66 c 4080 10379 2913799 983611 668 2204 7 9 7 8.58/8.67 c 4090 10405 2921204 986104 668 2208 11 11 10 8.58/8.68 c 4100 10431 2929223 988077 668 2215 11 12 10 8.58/8.69 c 4110 10458 2937296 990325 668 2218 10 12 10 8.68/8.70 c 4120 10476 2942452 993165 668 2228 5 7 4 8.68/8.71 c 4130 10504 2950223 996001 668 2234 9 11 9 8.68/8.72 c 4140 10526 2956538 998020 668 2243 8 10 8 8.68/8.73 c 4150 10551 2964246 1000123 668 2249 8 12 9 8.68/8.74 c 4160 10575 2971256 1002721 668 2256 5 11 8 8.68/8.75 c 4170 10600 2979005 1004834 668 2262 8 12 9 8.68/8.76 c 4180 10624 2986754 1007804 668 2270 4 11 7 8.68/8.77 c 4190 10646 2994189 1009615 668 2274 8 10 8 8.68/8.78 c 4200 10666 2998335 1011776 668 2279 9 9 8 8.68/8.79 c 4210 10691 3005718 1013880 668 2288 11 12 10 8.68/8.79 c 4220 10713 3010689 1016226 668 2293 7 9 7 8.79/8.80 c 4230 10736 3018048 1018437 668 2294 10 11 9 8.79/8.81 c 4240 10753 3022245 1020149 668 2295 7 8 6 8.79/8.82 c 4250 10781 3030362 1022509 668 2299 9 11 9 8.79/8.83 c 4260 10801 3035940 1025086 668 2309 7 9 6 8.79/8.84 c 4270 10826 3044268 1027259 668 2312 10 12 10 8.79/8.85 c 4280 10847 3051188 1029083 668 2313 8 10 8 8.79/8.85 c 4290 10867 3055174 1031095 668 2318 9 9 8 8.79/8.86 c 4300 10890 3062829 1033585 668 2323 10 11 9 8.79/8.88 c 4310 10913 3070620 1036148 668 2327 10 11 9 8.79/8.88 c 4320 10930 3075032 1038413 668 2335 7 8 6 8.79/8.89 c 4330 10956 3083285 1040818 668 2339 9 12 9 8.89/8.90 c 4340 10980 3091798 1043242 668 2342 10 11 9 8.89/8.91 c 4350 11001 3096927 1045767 668 2347 6 9 7 8.89/8.92 c 4360 11022 3103965 1047577 668 2351 9 10 9 8.89/8.93 c 4370 11046 3112873 1050000 668 2357 9 11 9 8.89/8.94 c 4380 11066 3118141 1052489 668 2364 7 9 7 8.89/8.95 c 4390 11092 3125399 1054982 668 2369 11 12 10 8.89/8.96 c 4400 11115 3133093 1057243 668 2371 9 10 8 8.89/8.97 c 4410 11138 3139319 1059405 668 2375 9 12 9 8.89/8.98 c 4420 11164 3148425 1061675 668 2376 9 11 9 8.89/8.99 c 4430 11184 3152462 1063874 668 2381 9 9 8 8.98/9.00 c 4440 11211 3161235 1066309 668 2387 9 12 10 8.98/9.01 c 4450 11237 3168810 1068884 668 2391 11 11 10 8.98/9.02 c 4460 11267 3177054 1071705 668 2397 11 11 10 8.98/9.03 c 4470 11294 3185353 1074049 668 2401 9 13 10 8.98/9.04 c 4480 11318 3193989 1076928 668 2407 10 10 9 8.98/9.05 c 4490 11338 3198135 1079089 668 2412 9 9 8 8.98/9.06 c 4493 11351 3202649 1080159 668 2415 9 11 7 8.98/9.06 c 4500 11370 3207083 1081961 668 2419 9 9 7 8.98/9.07 c 4510 11395 3214339 1084031 668 2428 10 12 9 8.98/9.08 c 4520 11417 3219791 1086392 668 2433 7 9 7 8.98/9.09 c 4530 11443 3227481 1088447 668 2438 9 12 9 9.08/9.10 c 4540 11465 3235891 1090861 668 2443 10 10 9 9.08/9.11 c 4550 11485 3241431 1093399 668 2448 7 8 7 9.08/9.12 c 4560 11511 3248234 1096165 668 2452 11 11 10 9.08/9.13 c 4570 11537 3256290 1098607 668 2457 11 11 10 9.08/9.14 c 4580 11556 3260607 1100963 668 2458 7 9 7 9.08/9.15 c 4590 11581 3269099 1103245 668 2461 10 11 9 9.08/9.16 c 4600 11604 3274447 1105613 668 2464 8 9 7 9.08/9.17 c 4610 11633 3283813 1108095 668 2470 9 13 10 9.08/9.18 c 4620 11653 3288833 1110115 668 2475 8 8 7 9.08/9.19 c 4630 11677 3296463 1112304 668 2484 11 12 10 9.08/9.19 c 4640 11698 3301943 1114802 668 2487 7 8 6 9.18/9.20 c 4650 11722 3309541 1116927 668 2496 11 12 10 9.18/9.21 c 4660 11743 3314236 1119008 668 2499 8 9 8 9.18/9.22 c 4670 11766 3322684 1121209 668 2503 9 10 9 9.18/9.23 c 4680 11783 3327252 1123562 668 2512 7 8 6 9.18/9.24 c 4690 11808 3334960 1125611 668 2517 10 11 9 9.18/9.24 c 4700 11829 3340086 1127758 668 2521 6 9 7 9.18/9.26 c 4710 11860 3349111 1130367 668 2524 10 11 9 9.18/9.27 c 4720 11885 3356939 1132397 668 2528 10 11 9 9.18/9.27 c 4730 11905 3362033 1134512 668 2533 8 8 7 9.18/9.28 c 4740 11928 3369027 1136559 668 2542 10 11 9 9.18/9.29 c 4750 11948 3373368 1138923 668 2549 7 9 7 9.28/9.30 c 4760 11976 3382488 1141747 668 2556 10 11 9 9.28/9.31 c 4770 12008 3391752 1144421 668 2559 11 12 10 9.28/9.32 c 4780 12029 3397025 1146204 668 2561 6 9 6 9.28/9.33 c 4790 12052 3404653 1148298 668 2570 10 11 9 9.28/9.34 c 4800 12076 3410061 1150633 668 2572 11 12 10 9.28/9.35 c 4810 12096 3414199 1152666 668 2577 7 9 7 9.28/9.36 c 4820 12121 3421613 1155014 668 2579 10 11 9 9.28/9.36 c 4830 12138 3425862 1156726 668 2580 7 8 6 9.28/9.37 c 4840 12164 3434557 1159152 668 2584 10 11 9 9.28/9.38 c 4850 12184 3439122 1161484 668 2585 7 9 7 9.28/9.39 c 4860 12207 3445478 1163492 668 2594 9 11 8 9.38/9.40 c 4870 12232 3453156 1165625 668 2596 10 11 9 9.38/9.41 c 4880 12255 3459305 1168479 668 2601 7 9 7 9.38/9.42 c 4890 12279 3467289 1170835 668 2610 10 11 9 9.38/9.42 c 4900 12303 3472490 1173031 668 2612 10 12 9 9.38/9.43 c 4910 12330 3480417 1175315 668 2615 11 12 10 9.38/9.44 c 4920 12355 3488964 1177732 668 2624 11 12 10 9.38/9.46 c 4930 12384 3497935 1180187 668 2628 10 12 10 9.38/9.46 c 4940 12404 3502043 1182182 668 2630 9 9 8 9.38/9.47 c 4950 12430 3510643 1184427 668 2637 11 12 10 9.38/9.48 c 4960 12452 3516305 1186976 668 2640 7 8 6 9.38/9.49 c 4970 12476 3524021 1189197 668 2642 9 12 10 9.48/9.50 c 4980 12498 3529047 1191597 668 2645 7 9 7 9.48/9.51 c 4990 12521 3536446 1194264 668 2652 10 10 9 9.48/9.54 c 5035 12615 3562266 1202438 668 2655 6 12 9 9.78/9.82 c 5631 13653 3798437 1309432 668 2675 5 13 8 10.08/10.11 c 6286 14822 4066815 1423703 668 2682 5 13 9 10.38/10.47 c 7006 16062 4398080 1541551 668 2684 5 12 9 10.78/10.83 c 7798 17430 4685230 1691210 668 2711 5 11 7 11.18/11.29 c 8669 19023 5089263 1851074 668 2727 5 13 9 11.68/11.71 c 9627 20693 5442817 2032097 668 2753 3 12 7 12.19/12.21 c 10680 22633 5903511 2216018 668 2766 5 13 10 12.78/12.83 c 11838 24684 6459015 2411042 668 2781 5 13 10 13.29/13.36 c 13111 26989 6962132 2636443 668 2798 5 13 9 13.98/14.05 c 14511 29393 7518602 2901937 668 2809 3 12 8 14.78/14.80 c 16051 32079 8171284 3188174 668 2856 5 13 8 15.58/15.67 c 17745 35018 8892448 3517419 668 2871 3 13 8 16.38/16.48 c 19608 38176 9574978 3862526 668 2916 5 13 7 17.47/17.51 c 21657 41937 10527877 4217966 668 2937 5 13 9 18.47/18.51 c 23910 45921 11363147 4631198 668 2946 3 13 8 19.67/19.75 c 26388 50611 12488001 5070746 668 2990 3 13 9 21.07/21.11 c 29113 55465 13622590 5597668 668 2997 3 13 8 22.27/22.38 c 32110 60669 14767529 6141091 668 3023 3 13 8 23.97/24.08 c 35406 66923 16252197 6770108 668 3043 3 13 9 25.67/25.75 c 39031 73124 17730137 7414808 668 3084 3 13 8 27.77/27.80 c 43018 80768 19504382 8194163 668 3117 3 13 9 29.77/29.88 c 47403 88438 21360621 8960966 668 3135 3 13 8 32.17/32.25 c 52226 97448 23393840 9860805 668 3162 3 13 8 34.77/34.86 c 57531 106876 25606023 10875838 668 3195 3 13 7 37.66/37.70 c 63366 117470 27981285 12016031 668 3230 3 13 7 40.36/40.47 c restarts : 543 40.36/40.47 c conflicts : 68941 (1706 /sec) 40.36/40.47 c decisions : 128058 (3169 /sec) 40.36/40.47 c propagations : 13095003 (324016 /sec) 40.36/40.47 c root propagations : 2996 40.36/40.47 c filter calls : 30261557 (748777 /sec) 40.36/40.47 c useless filter calls : 25732499 (85 %) 40.36/40.47 c 40.36/40.47 c clauses : 416766 40.36/40.47 c SAT propagations : 5146 40.36/40.47 c SAT conflicts : 55 (0 learnts) 40.36/40.47 c Memory used : 90.80 MB 40.36/40.47 c CPU time : 40.4146 s 40.36/40.47 40.36/40.47 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240244-1500624494/watcher-4240244-1500624494 -o /tmp/evaluation-result-4240244-1500624494/solver-4240244-1500624494 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240244-1500624494.xml pid=3392 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 1.82 1.09 3/186 3395 /proc/meminfo: memFree=31045112/32770624 swapFree=6176/985892 [pid=3395] ppid=3392 vsize=27256 CPUtime=0 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 15726225 27910144 832 33554432000 4194304 5970956 140730250102768 140730250101960 139620960066533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 6814 832 683 434 0 178 0 [startup+0.100161 s] /proc/loadavg: 2.00 1.82 1.09 3/186 3395 /proc/meminfo: memFree=31045112/32770624 swapFree=6176/985892 [pid=3395] ppid=3392 vsize=29104 CPUtime=0.09 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 1508 0 0 0 9 0 0 0 20 0 1 0 15726225 29802496 1330 33554432000 4194304 5970956 140730250102768 140730250099368 139620960066533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 7276 1330 732 434 0 640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29104 [startup+0.200333 s] /proc/loadavg: 2.00 1.82 1.09 3/186 3395 /proc/meminfo: memFree=31045112/32770624 swapFree=6176/985892 [pid=3395] ppid=3392 vsize=29676 CPUtime=0.19 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 1703 0 0 0 19 0 0 0 20 0 1 0 15726225 30388224 1523 33554432000 4194304 5970956 140730250102768 140730250096600 139620969402624 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 7419 1523 777 434 0 783 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29676 [startup+0.300252 s] /proc/loadavg: 2.00 1.82 1.09 3/186 3395 /proc/meminfo: memFree=31045112/32770624 swapFree=6176/985892 [pid=3395] ppid=3392 vsize=30412 CPUtime=0.29 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 1887 0 0 0 29 0 0 0 20 0 1 0 15726225 31141888 1707 33554432000 4194304 5970956 140730250102768 140730250094376 139620960066533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 7603 1707 777 434 0 967 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30412 [startup+0.700217 s] /proc/loadavg: 2.00 1.82 1.09 3/186 3395 /proc/meminfo: memFree=31045112/32770624 swapFree=6176/985892 [pid=3395] ppid=3392 vsize=33400 CPUtime=0.69 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 2626 0 0 0 69 0 0 0 20 0 1 0 15726225 34201600 2453 33554432000 4194304 5970956 140730250102768 140730250096600 139620960066533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 8350 2453 777 434 0 1714 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33400 [startup+1.50021 s] /proc/loadavg: 2.00 1.82 1.09 3/187 3396 /proc/meminfo: memFree=31035364/32770624 swapFree=6176/985928 [pid=3395] ppid=3392 vsize=39276 CPUtime=1.49 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 4094 0 0 0 148 1 0 0 20 0 1 0 15726225 40218624 3889 33554432000 4194304 5970956 140730250102768 140730250096600 139620960066533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 9819 3889 777 434 0 3183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39276 [startup+3.10021 s] /proc/loadavg: 2.00 1.82 1.09 3/187 3396 /proc/meminfo: memFree=31027180/32770624 swapFree=6176/985928 [pid=3395] ppid=3392 vsize=51016 CPUtime=3.09 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 7533 0 0 0 308 1 0 0 20 0 1 0 15726225 52240384 6857 33554432000 4194304 5970956 140730250102768 140730250096600 139620960066533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 12754 6857 777 434 0 6118 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51016 [startup+6.30022 s] /proc/loadavg: 2.00 1.83 1.10 3/187 3396 /proc/meminfo: memFree=30979636/32770624 swapFree=6176/985936 [pid=3395] ppid=3392 vsize=92164 CPUtime=6.29 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 22721 0 0 0 626 3 0 0 20 0 1 0 15726225 94375936 17054 33554432000 4194304 5970956 140730250102768 140730250100104 5070265 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23041 17054 825 434 0 16405 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 92164 [startup+12.7002 s] /proc/loadavg: 2.00 1.83 1.10 3/187 3396 /proc/meminfo: memFree=30978940/32770624 swapFree=6176/985948 [pid=3395] ppid=3392 vsize=92972 CPUtime=12.68 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 24472 0 0 0 1265 3 0 0 20 0 1 0 15726225 95203328 17075 33554432000 4194304 5970956 140730250102768 140730250100104 4964366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17075 828 434 0 16607 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 92972 [startup+25.5003 s] /proc/loadavg: 2.00 1.84 1.12 3/187 3396 /proc/meminfo: memFree=30978800/32770624 swapFree=6176/985964 [pid=3395] ppid=3392 vsize=92972 CPUtime=25.47 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27384 0 0 0 2544 3 0 0 20 0 1 0 15726225 95203328 17088 33554432000 4194304 5970956 140730250102768 140730250100104 5070274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17088 828 434 0 16607 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 92972 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3395 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6003 s] /proc/loadavg: 2.00 1.84 1.12 3/187 3396 /proc/meminfo: memFree=30978800/32770624 swapFree=6176/985964 [pid=3395] ppid=3392 vsize=92972 CPUtime=25.57 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27384 0 0 0 2554 3 0 0 20 0 1 0 15726225 95203328 17088 33554432000 4194304 5970956 140730250102768 140730250100104 5070064 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17088 828 434 0 16607 0 Current children cumulated CPU time (s) 25.57 Current children cumulated vsize (KiB) 92972 [startup+32.0057 s] /proc/loadavg: 2.00 1.84 1.12 3/187 3396 /proc/meminfo: memFree=30978908/32770624 swapFree=6176/985972 [pid=3395] ppid=3392 vsize=92972 CPUtime=31.97 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27402 0 0 0 3194 3 0 0 20 0 1 0 15726225 95203328 17089 33554432000 4194304 5970956 140730250102768 140730250100104 5069735 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17089 828 434 0 16607 0 Current children cumulated CPU time (s) 31.97 Current children cumulated vsize (KiB) 92972 [startup+35.2002 s] /proc/loadavg: 2.00 1.84 1.13 3/187 3396 /proc/meminfo: memFree=30978908/32770624 swapFree=6176/985980 [pid=3395] ppid=3392 vsize=92972 CPUtime=35.17 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27402 0 0 0 3514 3 0 0 20 0 1 0 15726225 95203328 17089 33554432000 4194304 5970956 140730250102768 140730250100104 5070082 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17089 828 434 0 16607 0 Current children cumulated CPU time (s) 35.17 Current children cumulated vsize (KiB) 92972 [startup+38.4002 s] /proc/loadavg: 2.00 1.84 1.13 3/187 3396 /proc/meminfo: memFree=30978688/32770624 swapFree=6176/985980 [pid=3395] ppid=3392 vsize=92972 CPUtime=38.36 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27404 0 0 0 3833 3 0 0 20 0 1 0 15726225 95203328 17089 33554432000 4194304 5970956 140730250102768 140730250100104 5052093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17089 828 434 0 16607 0 Current children cumulated CPU time (s) 38.36 Current children cumulated vsize (KiB) 92972 [startup+39.2002 s] /proc/loadavg: 2.00 1.84 1.13 3/187 3396 /proc/meminfo: memFree=30978840/32770624 swapFree=6176/985980 [pid=3395] ppid=3392 vsize=92972 CPUtime=39.16 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27404 0 0 0 3913 3 0 0 20 0 1 0 15726225 95203328 17089 33554432000 4194304 5970956 140730250102768 140730250100104 5070082 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17089 828 434 0 16607 0 Current children cumulated CPU time (s) 39.16 Current children cumulated vsize (KiB) 92972 [startup+40.0002 s] /proc/loadavg: 2.00 1.85 1.13 3/187 3396 /proc/meminfo: memFree=30978964/32770624 swapFree=6176/985980 [pid=3395] ppid=3392 vsize=92972 CPUtime=39.96 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27982 0 0 0 3993 3 0 0 20 0 1 0 15726225 95203328 17091 33554432000 4194304 5970956 140730250102768 140730250100104 5272902 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17091 828 434 0 16607 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (KiB) 92972 [startup+40.4002 s] /proc/loadavg: 2.00 1.85 1.13 3/187 3396 /proc/meminfo: memFree=30978964/32770624 swapFree=6176/985980 [pid=3395] ppid=3392 vsize=92972 CPUtime=40.36 cores=1,3,5,7 /proc/3395/stat : 3395 (cosoco) R 3392 3395 2920 0 -1 4202496 27987 0 0 0 4033 3 0 0 20 0 1 0 15726225 95203328 17091 33554432000 4194304 5970956 140730250102768 140730250100104 5069728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27553792 140730250106044 140730250106179 140730250106179 140730250108878 0 /proc/3395/statm: 23243 17091 828 434 0 16607 0 Current children cumulated CPU time (s) 40.36 Current children cumulated vsize (KiB) 92972 Child status: 0 Real time (s): 40.4774 CPU time (s): 40.4506 CPU user time (s): 40.4146 CPU system time (s): 0.035992 CPU usage (%): 99.9338 Max. virtual memory (cumulated for all children) (KiB): 92972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.4146 system time used= 0.035992 maximum resident set size= 68440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28041 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= 35 involuntary context switches= 2039 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.109329 second user time and 0.175477 second system time The end
Begin job on node125 at 2017-07-21 10:08:14 IDJOB=4240244 IDBENCH=120793 IDSOLVER=2621 FILE ID=node125/4240244-1500624494 RUNJOBID= node125-1500623778-2952 PBS_JOBID= 20623008 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f05.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240244-1500624494/watcher-4240244-1500624494 -o /tmp/evaluation-result-4240244-1500624494/solver-4240244-1500624494 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240244-1500624494.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628 RANDOM SEED=1029253027 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.75 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 : 1600.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.56 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.75 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 : 1600.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.56 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 : 1600.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.75 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 : 1600.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.56 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 : 1600.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.75 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 : 1600.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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31046228 kB MemAvailable: 32012192 kB Buffers: 154684 kB Cached: 1091460 kB SwapCached: 0 kB Active: 313920 kB Inactive: 994756 kB Active(anon): 64820 kB Inactive(anon): 8864 kB Active(file): 249100 kB Inactive(file): 985892 kB Unevictable: 6176 kB Mlocked: 6176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2352 kB Writeback: 0 kB AnonPages: 68184 kB Mapped: 34196 kB Shmem: 8848 kB Slab: 117948 kB SReclaimable: 93612 kB SUnreclaim: 24336 kB KernelStack: 3360 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336012 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: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-07-21 10:08:54