| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | SAT | 11.5142 | 11.5215 |
| Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-727-a4_X2.xml |
| MD5SUM | feda79726080e93715556435cff6944b |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 7.4597402 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 61 |
| Number of constraints | 228 |
| Number of domains | 5 |
| Minimum domain size | 1 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":216,"count":19},{"size":1001,"count":20}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 208 |
| Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 4 |
| Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
| Number of extensional constraints | 228 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":228}] |
| Optimization problem | NO |
| Type of objective |
0.89/0.99 c SAT : Variables: 24526 -- Clauses: 10455039 1.10/1.12 c root propagations : 22714 1.10/1.12 c restarts enabled, print stats at every restarts 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c This is cosoco 1.0 -- 1.10/1.12 c 1.10/1.12 c ========================================[ Problem Statistics ]=========================================== 1.10/1.12 c | 1.10/1.12 c | Parse time : 0.85 s 1.10/1.12 c | 1.10/1.12 c | Variables: 61 1.10/1.12 c | Domain Sizes: 1..1001 1.10/1.12 c | 1.10/1.12 c | Constraints: 228 1.10/1.12 c | Arity: 2..4 -- Binary: 1 -- Ternary: 20 1.10/1.12 c | 1.10/1.12 c | Types: 1.10/1.12 c | Extension: 228 (nb tuples: 1..23436) -- (shared: 204) 1.10/1.12 c | 1.10/1.12 c ========================================================================================================= 1.10/1.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.10/1.18 c 10 39 6314 24730 59 10 20 24 18 1.20/1.22 c 20 76 10686 29127 59 19 1 28 9 1.20/1.27 c 30 151 19247 34290 59 23 6 38 16 1.29/1.35 c 40 183 26779 38385 59 30 3 14 9 1.29/1.37 c 50 236 31761 40922 59 32 26 38 28 1.29/1.38 c 60 273 34350 43439 59 42 24 28 22 1.39/1.43 c 70 342 48091 50453 59 44 12 29 16 1.39/1.45 c 80 379 52547 52372 59 53 25 28 23 1.39/1.49 c 90 456 62092 57512 59 58 17 34 25 1.49/1.54 c 100 522 71612 63982 59 65 15 26 17 1.49/1.55 c 101 542 73383 65343 59 66 20 20 10 1.49/1.57 c 110 569 80622 68905 59 71 10 14 10 1.49/1.59 c 120 609 84236 70772 59 81 20 28 22 1.59/1.63 c 130 682 93490 75400 59 84 23 28 22 1.59/1.67 c 140 727 99069 79289 59 92 11 21 11 1.69/1.71 c 150 792 109977 84757 59 93 10 25 17 1.69/1.75 c 160 841 121754 90374 59 97 11 22 12 1.69/1.78 c 170 875 126038 93407 59 107 20 25 18 1.79/1.86 c 180 907 133445 104687 59 116 1 21 4 1.79/1.88 c 190 938 137098 107503 59 124 15 22 16 1.89/1.92 c 200 991 144816 113019 59 131 1 25 15 1.89/1.95 c 210 1037 150362 117305 59 139 1 24 15 1.89/1.97 c 211 1052 152259 118893 59 140 15 15 7 1.89/1.99 c 220 1079 160397 122943 59 144 7 11 8 1.99/2.01 c 230 1115 164783 125151 59 155 22 24 20 1.99/2.05 c 240 1180 172206 129063 59 161 14 23 17 1.99/2.09 c 250 1254 182753 134131 59 161 4 18 10 2.08/2.12 c 260 1307 188027 136723 59 171 10 25 17 2.08/2.15 c 270 1359 193658 139993 59 179 15 24 19 2.08/2.18 c 280 1416 206543 146101 59 183 9 25 19 2.19/2.21 c 290 1462 211863 148609 59 193 20 25 19 2.19/2.24 conflict 26lvl : 9 bt9-71:0(1232)X41848428 2.19/2.25 c 300 1506 220117 153402 59 195 9 17 12 2.19/2.26 c 310 1538 224487 156328 59 204 21 23 19 2.29/2.30 c 320 1593 235269 163446 59 210 11 32 18 2.29/2.33 c 330 1645 241336 167678 59 218 16 27 20 2.29/2.35 c 332 1666 244440 169339 59 220 13 20 11 2.29/2.37 c 340 1703 250068 172819 59 227 16 24 16 2.29/2.39 c 350 1746 257837 177053 59 231 11 23 18 2.38/2.41 c 360 1790 263832 179657 59 232 21 24 19 2.38/2.43 c 370 1819 267118 181869 59 242 17 20 15 2.38/2.46 c 380 1867 276860 186491 59 246 14 20 15 2.48/2.50 c 390 1915 283007 189355 59 255 17 20 16 2.48/2.54 c 400 1968 290918 193579 59 259 5 22 14 2.48/2.56 c 410 1997 294823 195558 59 269 13 20 16 2.48/2.59 c 420 2037 300862 198431 59 272 2 21 10 2.58/2.61 c 430 2071 305686 201181 59 280 15 20 15 2.58/2.63 c 440 2097 308674 203035 59 290 15 17 13 2.58/2.66 c 450 2136 314840 207056 59 295 9 22 16 2.58/2.68 c 460 2170 320186 209749 59 304 9 22 13 2.68/2.70 c 465 2190 324332 211781 59 309 10 14 9 2.68/2.71 c 470 2215 329754 214582 59 313 14 17 13 2.68/2.76 c 480 2293 341267 220303 59 316 7 25 16 2.68/2.78 c 490 2325 344962 222178 59 326 15 19 14 2.78/2.80 c 500 2351 347950 224284 59 336 13 17 13 2.78/2.83 c 510 2395 355226 229292 59 342 7 24 14 2.78/2.85 c 520 2419 358763 231512 59 351 11 14 10 2.78/2.88 c 530 2466 364553 235883 59 359 15 20 14 2.88/2.91 c 540 2508 369542 239040 59 368 11 23 15 2.88/2.94 c 550 2556 376812 243123 59 372 6 19 13 2.88/2.96 c 560 2593 382060 246062 59 376 16 22 16 2.88/2.98 c 570 2618 385489 247950 59 386 2 16 9 2.88/3.00 c 580 2654 389803 250374 59 392 9 21 12 2.98/3.01 c 590 2682 392521 252280 59 402 15 19 14 2.98/3.03 c 600 2715 397342 254720 59 402 11 21 14 2.98/3.06 c 610 2755 402318 257822 59 406 13 17 13 2.98/3.07 c 611 2774 403822 259125 59 407 19 19 9 3.08/3.10 c 620 2816 410371 262690 59 412 13 19 13 3.08/3.14 c 630 2856 420126 267851 59 415 10 15 12 3.08/3.16 c 640 2891 423652 270189 59 425 19 23 17 3.08/3.18 c 650 2920 426668 272058 59 435 9 19 13 3.08/3.19 c 660 2951 429898 274194 59 445 16 20 15 3.18/3.24 c 670 3003 439119 278090 59 446 7 23 13 3.18/3.26 c 680 3048 447866 281489 59 450 17 22 17 3.18/3.30 c 690 3096 456332 285813 59 451 8 21 12 3.29/3.32 c 700 3130 463574 289642 59 455 12 18 13 3.29/3.34 c 710 3157 466032 290941 59 465 17 18 15 3.29/3.37 c 720 3214 472175 293697 59 468 4 22 10 3.29/3.39 c 730 3242 480064 298183 59 470 9 11 9 3.39/3.43 c 740 3281 492774 304304 59 472 5 19 8 3.39/3.45 c 750 3312 500925 308834 59 474 8 12 9 3.39/3.46 c 760 3337 505864 311271 59 480 14 16 13 3.39/3.48 c 770 3363 508472 313216 59 490 15 17 13 3.39/3.49 c 771 3371 509617 314171 59 491 8 8 4 3.48/3.53 c 780 3429 517072 318085 59 497 8 22 16 3.48/3.55 c 790 3459 520927 320126 59 507 7 17 11 3.48/3.56 c 800 3487 523757 322108 59 517 16 19 14 3.48/3.58 c 810 3523 529603 324641 59 524 11 24 16 3.58/3.60 c 820 3559 537059 327912 59 527 9 15 10 3.58/3.62 c 830 3599 543714 331561 59 535 13 19 13 3.58/3.67 c 840 3645 550943 337307 59 538 1 19 8 3.68/3.70 c 850 3670 557693 341162 59 544 10 14 10 3.68/3.72 c 860 3710 564186 344406 59 553 9 20 11 3.68/3.76 c 870 3760 573927 348014 59 554 13 22 15 3.68/3.77 c 880 3782 579593 351016 59 559 5 9 5 3.68/3.79 c 890 3806 583954 353068 59 566 9 14 9 3.78/3.82 c 900 3842 592012 356897 59 571 10 19 11 3.78/3.86 c 910 3897 602164 361984 59 574 8 22 12 3.78/3.88 c 920 3925 609162 365773 59 577 10 14 10 3.88/3.90 c 930 3956 613632 368086 59 587 8 20 16 3.88/3.93 c 940 4012 621612 371422 59 592 6 24 15 3.88/3.95 c 947 4036 625272 373350 59 599 7 14 9 3.88/3.97 c 950 4053 627954 374877 59 602 11 15 10 3.88/3.99 c 960 4078 632461 376799 59 612 5 12 8 3.98/4.03 c 970 4133 647906 384829 59 615 8 15 8 3.98/4.08 c 980 4188 659012 390582 59 622 1 24 11 4.08/4.10 c 990 4223 664821 393865 59 629 13 20 13 4.08/4.13 c 1000 4286 673739 397499 59 633 11 25 18 4.08/4.15 c 1010 4309 680882 401848 59 638 4 9 5 4.08/4.17 c 1020 4341 689732 407063 59 641 8 13 9 4.08/4.19 c 1030 4371 698998 411546 59 643 5 11 6 4.18/4.21 c 1040 4404 705620 415080 59 651 6 11 7 4.18/4.25 c 1050 4440 717578 421252 59 653 6 12 8 4.18/4.27 c 1060 4466 724145 424321 59 655 8 12 9 4.28/4.30 c 1070 4506 734719 429776 59 657 4 12 7 4.28/4.33 c 1080 4528 740416 432558 59 666 8 11 7 4.28/4.35 c 1090 4566 746440 435514 59 674 11 22 15 4.39/4.40 c 1100 4616 760056 442307 59 676 6 15 9 4.39/4.42 c 1110 4647 764007 444186 59 678 15 22 17 4.39/4.44 c 1120 4672 767491 446147 59 685 9 16 11 4.39/4.47 c 1130 4716 776974 450579 59 694 11 21 14 4.39/4.49 c 1140 4738 783518 454168 59 702 4 7 4 4.49/4.51 c 1141 4742 785667 455405 59 703 4 4 2 4.49/4.52 c 1150 4758 789751 457601 59 710 5 7 5 4.49/4.54 c 1160 4801 800123 462548 59 712 9 16 10 4.49/4.56 c 1170 4817 803386 464515 59 720 4 7 4 4.49/4.58 c 1180 4848 808323 467105 59 730 6 22 16 4.58/4.61 c 1190 4909 816027 469725 59 737 5 26 16 4.58/4.63 c 1200 4940 822843 473628 59 746 14 18 13 4.58/4.65 c 1210 4972 825740 475199 59 756 18 23 19 4.68/4.70 c 1220 5035 840831 481752 59 760 5 25 12 4.68/4.73 c 1230 5064 845374 483958 59 766 12 17 12 4.68/4.75 c 1240 5095 849853 486373 59 777 18 21 16 4.68/4.77 c 1250 5136 856003 488969 59 783 6 22 12 4.68/4.79 c 1260 5179 866127 493766 59 785 7 14 10 4.78/4.83 c 1270 5237 877161 499774 59 790 4 23 16 4.78/4.85 c 1280 5262 881070 501781 59 797 10 14 10 4.78/4.86 c 1290 5293 885022 503636 59 799 13 22 17 4.78/4.89 c 1300 5354 892661 506823 59 802 8 26 18 4.88/4.93 c 1310 5396 901613 511143 59 803 7 22 13 4.88/4.95 c 1320 5424 904936 512649 59 813 15 19 14 4.88/4.97 c 1330 5476 913607 516355 59 817 7 26 14 4.88/4.99 c 1340 5508 916598 518103 59 827 19 23 17 4.98/5.05 c 1350 5565 928282 523521 59 831 9 19 13 4.98/5.06 c 1352 5583 930798 524906 59 833 5 16 7 4.98/5.09 c 1360 5610 938658 529355 59 836 10 14 11 5.08/5.10 c 1370 5639 943306 531361 59 844 11 17 11 5.08/5.12 c 1380 5669 946900 533528 59 853 3 20 13 5.08/5.15 c 1390 5720 957558 538643 59 855 9 24 13 5.08/5.17 c 1400 5748 960633 540913 59 865 16 19 14 5.18/5.20 c 1410 5789 970312 545971 59 870 10 14 10 5.18/5.21 c 1420 5812 976129 549276 59 878 12 14 11 5.18/5.24 c 1430 5875 986511 553220 59 885 6 27 16 5.18/5.25 c 1440 5910 990937 556252 59 893 16 23 16 5.18/5.28 c 1450 5991 1003283 560219 59 898 8 27 16 5.28/5.30 c 1460 6032 1011912 564355 59 904 8 21 13 5.28/5.33 c 1470 6088 1022512 568973 59 910 5 20 14 5.28/5.36 c 1480 6132 1028590 571505 59 915 8 23 13 5.28/5.37 c 1490 6178 1038010 575927 59 918 13 21 15 5.28/5.39 c 1500 6211 1046383 580578 59 922 11 15 12 5.38/5.41 c 1510 6255 1055477 584822 59 925 11 21 13 5.38/5.44 c 1520 6295 1061317 588051 59 932 7 19 13 5.38/5.46 c 1530 6355 1071744 591682 59 933 5 26 19 5.38/5.48 c 1540 6389 1080589 596218 59 936 10 14 11 5.38/5.49 c 1550 6413 1083543 597600 59 946 13 15 12 5.49/5.50 c 1560 6458 1090478 600422 59 949 11 21 15 5.49/5.52 c 1570 6482 1093249 601766 59 959 12 15 11 5.49/5.54 c 1580 6536 1103341 606387 59 962 9 28 14 5.49/5.56 c 1585 6557 1110351 609955 59 964 8 11 7 5.49/5.57 c 1590 6579 1115418 612465 59 968 10 14 10 5.49/5.59 c 1600 6620 1122672 616205 59 976 14 18 14 5.59/5.62 c 1610 6664 1132453 620670 59 978 6 20 11 5.59/5.63 c 1620 6690 1135063 622532 59 988 15 17 13 5.59/5.65 c 1630 6732 1142247 625942 59 992 8 23 13 5.59/5.66 c 1640 6751 1146201 628025 59 999 8 10 8 5.59/5.67 c 1650 6780 1148870 629287 59 1009 19 20 17 5.59/5.69 c 1660 6819 1155635 632380 59 1011 11 17 12 5.68/5.71 c 1670 6845 1162578 635905 59 1014 9 13 9 5.68/5.72 c 1680 6873 1165463 637183 59 1024 17 19 15 5.68/5.74 c 1690 6913 1170715 639534 59 1030 10 22 13 5.68/5.75 c 1700 6964 1178318 642581 59 1032 12 19 14 5.68/5.78 c 1710 7011 1190782 648258 59 1033 7 21 12 5.78/5.80 c 1720 7043 1197597 651328 59 1040 8 13 8 5.78/5.81 c 1730 7079 1202402 653667 59 1044 12 18 13 5.78/5.82 c 1740 7106 1205059 655127 59 1054 15 18 14 5.78/5.84 c 1750 7153 1211819 658157 59 1058 8 23 12 5.78/5.85 c 1760 7201 1217131 660732 59 1066 15 22 17 5.78/5.88 c 1770 7253 1230678 667261 59 1072 11 20 12 5.88/5.90 c 1780 7295 1236761 670041 59 1077 9 18 12 5.88/5.91 c 1790 7318 1240589 671786 59 1085 12 14 11 5.88/5.93 c 1800 7346 1244165 674178 59 1095 15 19 14 5.88/5.96 c 1810 7399 1255442 679663 59 1099 9 17 11 5.88/5.97 c 1820 7426 1258974 682368 59 1108 13 17 12 5.88/5.98 c 1830 7450 1261464 684496 59 1118 5 15 8 5.88/5.99 c 1840 7489 1265927 686907 59 1127 14 22 14 5.98/6.00 c 1841 7494 1267114 687863 59 1128 5 5 2 5.98/6.01 c 1850 7518 1270054 689142 59 1137 14 16 12 5.98/6.04 c 1860 7567 1277033 692464 59 1147 6 25 16 5.98/6.05 c 1870 7616 1282527 694896 59 1151 11 18 13 5.98/6.07 c 1880 7648 1291157 699422 59 1152 10 14 11 5.98/6.08 c 1890 7676 1295565 701940 59 1161 15 19 14 5.98/6.10 c 1900 7702 1297957 703562 59 1171 15 17 13 6.08/6.11 c 1910 7754 1308420 707939 59 1171 9 26 18 6.08/6.13 c 1920 7797 1316118 710937 59 1174 13 19 13 6.08/6.15 c 1930 7838 1322697 714120 59 1177 9 16 11 6.08/6.16 c 1940 7863 1328305 716954 59 1184 9 12 9 6.08/6.18 c 1950 7902 1337229 721263 59 1185 11 16 12 6.18/6.21 c 1960 7943 1344621 724671 59 1191 10 18 12 6.18/6.22 c 1970 7979 1348286 726577 59 1201 22 24 20 6.18/6.24 c 1980 8048 1359491 730817 59 1206 8 26 14 6.18/6.25 c 1990 8076 1365745 733951 59 1210 10 13 10 6.18/6.27 c 2000 8110 1373599 737118 59 1215 5 13 8 6.18/6.29 c 2010 8147 1381400 740709 59 1218 8 16 9 6.28/6.30 c 2020 8173 1385040 742714 59 1226 13 17 12 6.28/6.33 c 2030 8222 1396913 747659 59 1231 7 15 11 6.28/6.35 c 2040 8281 1406397 751387 59 1238 3 22 13 6.28/6.36 c 2050 8321 1413114 754280 59 1240 10 18 13 6.28/6.38 c 2060 8353 1416272 755971 59 1250 21 23 19 6.28/6.39 c 2070 8378 1421602 758581 59 1256 8 15 9 6.38/6.43 c 2080 8429 1433194 764456 59 1263 2 16 10 6.38/6.44 c 2090 8471 1439809 768207 59 1269 2 23 15 6.38/6.46 c 2100 8521 1446453 770628 59 1273 6 18 12 6.38/6.47 c 2110 8555 1451607 773144 59 1283 12 21 17 6.48/6.50 c 2120 8610 1463733 777351 59 1284 10 23 12 6.48/6.51 c 2122 8625 1466403 778734 59 1286 10 13 7 6.48/6.53 c 2130 8674 1475015 782432 59 1289 14 23 16 6.48/6.56 c 2140 8716 1483886 786867 59 1292 9 17 10 6.48/6.58 c 2150 8750 1492319 790894 59 1296 8 14 9 6.48/6.59 c 2160 8780 1496037 792757 59 1304 14 19 13 6.59/6.61 c 2170 8829 1508032 798150 59 1309 10 20 12 6.59/6.62 c 2180 8865 1512818 800036 59 1318 13 22 13 6.59/6.64 c 2190 8903 1521698 804014 59 1322 6 17 10 6.59/6.65 c 2200 8931 1525247 805529 59 1332 15 19 16 6.59/6.67 c 2210 8982 1534326 809391 59 1335 10 20 12 6.59/6.68 c 2220 9009 1541904 812892 59 1340 9 14 10 6.59/6.69 c 2230 9030 1544807 814964 59 1350 7 12 6 6.69/6.70 c 2240 9086 1551770 817875 59 1351 10 21 15 6.69/6.72 c 2250 9120 1557962 821326 59 1353 15 22 16 6.69/6.75 c 2260 9162 1573404 828184 59 1355 8 12 10 6.69/6.76 c 2270 9189 1582068 832017 59 1359 9 12 9 6.69/6.77 conflict 23lvl : 9 bt9-10425:0(1035)X41867016 6.69/6.77 c 2280 9223 1591450 836969 59 1364 7 15 8 6.69/6.78 c 2290 9247 1595684 839724 59 1374 11 15 10 6.79/6.80 c 2300 9302 1605980 843458 59 1378 8 13 10 6.79/6.81 c 2310 9334 1608815 845214 59 1388 20 23 18 6.79/6.83 c 2320 9404 1617987 848959 59 1390 8 24 13 6.79/6.84 c 2330 9435 1623485 852075 59 1398 12 16 12 6.79/6.87 c 2340 9492 1636018 856704 59 1400 7 17 10 6.79/6.88 c 2350 9518 1639834 858349 59 1410 12 15 11 6.89/6.90 c 2360 9568 1646589 861907 59 1414 8 26 18 6.89/6.91 c 2370 9604 1652702 864396 59 1418 8 20 13 6.89/6.92 c 2380 9629 1657215 866570 59 1428 8 13 7 6.89/6.93 c 2390 9667 1663302 868784 59 1432 12 20 14 6.89/6.94 c 2400 9688 1665930 870133 59 1442 8 12 7 6.89/6.96 c 2410 9730 1672023 872533 59 1447 12 22 16 6.89/6.97 c 2420 9765 1680598 877268 59 1449 8 18 11 6.89/6.98 c 2430 9800 1684837 879636 59 1458 15 26 17 6.89/6.99 c 2431 9809 1686148 880887 59 1459 9 9 4 6.99/7.00 c 2440 9831 1688532 882168 59 1468 8 14 11 6.99/7.01 c 2450 9875 1695479 884874 59 1473 10 28 13 6.99/7.03 c 2460 9918 1701451 887565 59 1481 14 26 19 6.99/7.04 c 2470 9977 1708570 890358 59 1485 14 30 18 6.99/7.05 c 2480 10027 1713267 892645 59 1491 21 28 20 6.99/7.07 c 2490 10071 1720165 895169 59 1493 10 18 12 6.99/7.09 c 2500 10121 1728708 898837 59 1498 9 24 12 7.09/7.10 c 2510 10170 1734100 901313 59 1502 14 21 15 7.09/7.11 c 2520 10204 1738279 903329 59 1504 16 22 18 7.09/7.14 c 2530 10271 1750150 908261 59 1509 8 21 12 7.09/7.15 c 2540 10293 1753597 910511 59 1518 7 13 7 7.09/7.16 c 2550 10350 1760118 914052 59 1520 14 21 15 7.09/7.18 c 2560 10385 1768094 917888 59 1525 9 17 10 7.09/7.19 c 2570 10402 1770687 919329 59 1534 5 8 4 7.19/7.20 c 2580 10431 1777141 922264 59 1538 12 14 11 7.19/7.22 c 2590 10488 1787402 925972 59 1540 6 24 13 7.19/7.23 c 2600 10512 1790150 927631 59 1550 7 12 7 7.19/7.24 c 2610 10538 1793316 929283 59 1560 11 16 10 7.19/7.25 c 2620 10571 1796440 930557 59 1570 22 24 20 7.19/7.26 c 2630 10595 1798792 932574 59 1578 6 15 7 7.19/7.28 c 2640 10634 1805675 935847 59 1579 11 19 13 7.19/7.29 c 2650 10664 1809981 938296 59 1582 11 21 14 7.29/7.31 c 2660 10710 1817001 941620 59 1584 12 21 12 7.29/7.32 c 2670 10754 1822987 944241 59 1589 11 17 13 7.29/7.33 c 2680 10781 1826012 946083 59 1599 16 18 14 7.29/7.34 c 2690 10805 1828290 947505 59 1608 8 15 11 7.29/7.35 c 2700 10837 1831318 948722 59 1618 22 23 20 7.29/7.36 c 2710 10876 1836994 951368 59 1622 7 18 13 7.29/7.37 c 2720 10908 1841618 953702 59 1631 9 14 9 7.29/7.39 c 2730 10943 1850723 958995 59 1636 6 15 11 7.39/7.40 c 2740 10993 1858198 962341 59 1642 14 21 16 7.39/7.42 c 2750 11056 1866822 965495 59 1645 10 24 15 7.39/7.43 c 2760 11089 1874068 969370 59 1649 6 11 6 7.39/7.44 c 2770 11113 1877389 971107 59 1659 13 15 12 7.39/7.45 c 2771 11125 1879142 972231 59 1660 12 12 6 7.39/7.47 c 2780 11177 1889196 976772 59 1660 9 23 14 7.39/7.48 c 2790 11206 1894022 979765 59 1666 10 14 10 7.39/7.49 c 2800 11229 1897244 981589 59 1676 11 14 10 7.49/7.51 c 2810 11275 1903757 984712 59 1686 14 25 18 7.49/7.52 c 2820 11312 1909490 987195 59 1693 10 16 10 7.49/7.53 c 2830 11344 1915635 989961 59 1701 14 17 13 7.49/7.54 c 2840 11389 1922085 992418 59 1703 8 17 11 7.49/7.56 c 2850 11426 1929153 995763 59 1704 14 18 14 7.49/7.57 c 2860 11458 1936200 999434 59 1705 11 14 11 7.49/7.58 c 2870 11500 1944157 1003942 59 1709 11 16 12 7.49/7.59 c 2880 11529 1947406 1005158 59 1719 19 20 17 7.59/7.60 c 2890 11566 1952692 1007479 59 1720 8 16 11 7.59/7.62 c 2900 11600 1960512 1011190 59 1725 8 14 10 7.59/7.63 c 2910 11625 1963713 1012938 59 1735 14 16 12 7.59/7.64 c 2920 11673 1970605 1016080 59 1741 6 21 9 7.59/7.66 c 2930 11713 1979716 1020102 59 1749 7 16 11 7.59/7.68 c 2940 11751 1986034 1023354 59 1759 10 25 17 7.59/7.70 c 2950 11801 1993833 1026496 59 1765 6 26 12 7.69/7.72 c 2960 11846 2002180 1030338 59 1773 4 26 15 7.69/7.73 c 2970 11884 2008520 1032681 59 1775 11 18 12 7.69/7.74 c 2980 11913 2015956 1036526 59 1780 8 12 8 7.69/7.75 c 2990 11936 2019042 1038321 59 1790 11 14 10 7.69/7.77 c 3000 11979 2023934 1040675 59 1799 20 27 19 7.69/7.78 c 3010 12022 2029535 1043377 59 1804 5 24 13 7.79/7.81 c 3020 12082 2044909 1050368 59 1808 9 24 13 7.79/7.82 c 3030 12111 2052384 1054111 59 1811 9 12 9 7.79/7.83 c 3040 12151 2060069 1058190 59 1819 15 20 14 7.79/7.84 c 3050 12185 2062571 1059773 59 1829 17 25 20 7.79/7.85 c 3060 12229 2069465 1062350 59 1834 11 18 12 7.79/7.87 c 3070 12271 2076535 1065806 59 1841 13 24 17 7.79/7.88 c 3080 12296 2081726 1067869 59 1850 10 13 9 7.89/7.91 c 3090 12346 2093113 1072465 59 1855 7 23 12 7.89/7.91 c 3100 12381 2096128 1074438 59 1865 19 24 17 7.89/7.94 c 3110 12431 2105390 1079568 59 1868 10 20 15 7.89/7.95 c 3120 12464 2114855 1084593 59 1872 8 14 9 7.89/7.96 c 3130 12505 2119445 1087352 59 1882 8 29 16 7.89/7.98 c 3140 12574 2126498 1090226 59 1887 7 21 15 7.89/7.99 c 3142 12587 2129989 1091901 59 1888 10 12 7 7.99/8.00 c 3150 12621 2138474 1096233 59 1891 8 14 9 7.99/8.01 c 3160 12661 2147022 1100241 59 1893 10 17 12 7.99/8.03 c 3170 12714 2153697 1103962 59 1901 18 28 20 7.99/8.04 c 3180 12767 2160467 1106752 59 1904 11 22 15 7.99/8.06 c 3190 12810 2170261 1112088 59 1905 16 21 16 7.99/8.07 c 3200 12833 2174198 1113900 59 1914 10 12 9 7.99/8.09 c 3210 12867 2185750 1118549 59 1917 6 12 9 8.09/8.10 c 3220 12890 2190381 1120851 59 1919 10 13 9 8.09/8.11 c 3230 12927 2198209 1124815 59 1922 12 20 12 8.09/8.12 c 3240 12963 2201596 1126283 59 1931 25 27 23 8.09/8.14 c 3250 13019 2210369 1130415 59 1933 8 28 14 8.09/8.16 c 3260 13044 2217744 1133951 59 1939 5 10 6 8.09/8.17 c 3270 13071 2222323 1136325 59 1948 9 14 9 8.09/8.19 c 3280 13112 2229367 1141410 59 1955 1 14 7 8.19/8.20 c 3290 13147 2233316 1143596 59 1963 19 26 18 8.19/8.21 c 3300 13185 2238346 1146231 59 1969 9 21 14 8.19/8.22 c 3310 13210 2242036 1148261 59 1979 9 16 11 8.19/8.23 c 3320 13240 2244612 1150494 59 1989 18 21 16 8.19/8.24 c 3330 13287 2249617 1153010 59 1992 6 22 12 8.19/8.25 c 3340 13345 2259785 1157872 59 1996 15 23 17 8.19/8.26 c 3350 13384 2267032 1161603 59 1999 11 15 11 8.19/8.28 c 3360 13433 2274761 1166848 59 2007 13 30 18 8.19/8.29 c 3370 13471 2279950 1169336 59 2014 12 18 13 8.29/8.30 c 3380 13533 2289492 1174020 59 2014 14 27 19 8.29/8.31 c 3390 13556 2295865 1177089 59 2016 5 11 7 8.29/8.32 c 3400 13602 2301793 1180022 59 2021 17 27 18 8.29/8.33 c 3410 13638 2308949 1182920 59 2025 5 14 9 8.29/8.35 c 3420 13711 2318250 1186139 59 2028 7 19 14 8.29/8.36 c 3430 13758 2325241 1189417 59 2032 9 14 10 8.29/8.37 c 3440 13809 2335089 1194171 59 2037 13 21 15 8.29/8.38 c 3450 13826 2338375 1195937 59 2044 7 8 6 8.29/8.39 c 3460 13850 2340935 1196863 59 2054 14 15 12 8.39/8.40 c 3470 13919 2350740 1200747 59 2057 16 23 17 8.39/8.42 c 3480 13949 2359626 1205247 59 2059 8 11 8 8.39/8.43 c 3490 13983 2363319 1207355 59 2069 14 25 19 8.39/8.43 conflict 13lvl : 8 bt8-19444:0(1001)X41878271 8.39/8.44 c 3500 14029 2368500 1210004 59 2075 10 28 14 8.39/8.45 conflict 8lvl : 14 bt14-19444:0(1114)X41878372 8.39/8.45 c 3510 14085 2374710 1213119 59 2081 20 29 20 8.39/8.46 c 3520 14117 2377187 1214590 59 2089 8 17 9 8.39/8.48 c 3530 14162 2387980 1218957 59 2093 6 21 10 8.39/8.49 c 3540 14195 2391839 1221338 59 2102 17 21 16 8.49/8.50 c 3550 14242 2401816 1226438 59 2105 7 15 10 8.49/8.51 c 3551 14266 2404771 1227557 59 2106 24 24 12 8.49/8.52 c 3560 14325 2411581 1231022 59 2113 6 27 15 8.49/8.54 c 3570 14367 2419673 1234750 59 2116 8 17 12 8.49/8.55 c 3580 14391 2423885 1236565 59 2124 5 9 5 8.49/8.55 c 3590 14416 2427470 1238034 59 2133 11 15 10 8.49/8.57 c 3600 14471 2434878 1241356 59 2138 13 26 17 8.49/8.58 c 3610 14526 2440912 1244173 59 2143 10 26 13 8.49/8.59 c 3620 14581 2449251 1248293 59 2147 14 27 17 8.59/8.60 c 3630 14652 2457368 1251915 59 2148 16 27 20 8.59/8.61 c 3640 14697 2463894 1254926 59 2154 6 21 12 8.59/8.63 c 3650 14756 2471171 1258450 59 2158 17 26 18 8.59/8.63 c 3660 14800 2475303 1260385 59 2164 13 21 14 8.59/8.66 c 3670 14835 2486290 1265248 59 2167 5 12 8 8.59/8.68 c 3680 14888 2497031 1269866 59 2171 1 16 8 8.59/8.69 c 3690 14936 2506676 1274018 59 2175 6 23 14 8.69/8.71 c 3700 14966 2515058 1277940 59 2179 5 11 7 8.69/8.72 c 3710 15001 2523540 1281873 59 2183 7 12 9 8.69/8.73 c 3720 15034 2527764 1284376 59 2192 7 22 13 8.69/8.73 c 3730 15061 2530382 1285936 59 2201 5 18 11 8.69/8.75 c 3740 15102 2535275 1288841 59 2206 11 21 12 8.69/8.76 c 3750 15143 2542400 1291660 59 2209 8 21 11 8.69/8.77 c 3760 15184 2551160 1296208 59 2213 10 21 15 8.69/8.78 c 3770 15229 2561225 1300986 59 2215 8 20 11 8.79/8.81 c 3780 15283 2572580 1305523 59 2217 5 19 10 8.79/8.81 c 3790 15301 2575288 1307368 59 2227 7 9 6 8.79/8.83 c 3800 15362 2584538 1311237 59 2232 8 28 14 8.79/8.84 c 3810 15403 2589359 1313385 59 2235 10 20 14 8.79/8.85 c 3820 15444 2595665 1316214 59 2237 7 27 14 8.79/8.86 c 3830 15478 2599224 1318168 59 2247 22 25 20 8.79/8.87 c 3840 15517 2604948 1320951 59 2248 11 20 14 8.79/8.88 c 3850 15578 2617379 1325299 59 2253 9 22 14 8.79/8.90 c 3860 15618 2626305 1329195 59 2259 7 17 11 8.89/8.91 c 3870 15645 2629977 1331006 59 2269 12 18 14 8.89/8.93 c 3880 15691 2638265 1334414 59 2272 7 28 16 8.89/8.94 c 3890 15735 2646266 1338596 59 2276 10 17 11 8.89/8.95 c 3900 15772 2650171 1340316 59 2286 20 24 20 8.89/8.96 c 3910 15817 2655846 1343037 59 2293 7 24 13 8.89/8.98 c 3920 15872 2670776 1349224 59 2295 8 16 10 8.89/8.99 c 3930 15897 2674883 1351156 59 2302 9 14 9 8.99/9.00 c 3940 15946 2680822 1354120 59 2310 17 25 19 8.99/9.02 c 3950 16020 2690598 1358255 59 2311 11 22 15 8.99/9.03 c 3960 16049 2697412 1361852 59 2314 7 13 8 8.99/9.04 c 3970 16073 2699826 1362984 59 2324 14 15 12 8.99/9.05 c 3980 16124 2706655 1366683 59 2330 18 25 18 8.99/9.06 c 3990 16182 2713344 1369676 59 2335 14 25 16 8.99/9.07 c 4000 16221 2721704 1373747 59 2339 13 19 13 8.99/9.08 c 4001 16230 2723209 1374800 59 2340 9 9 4 8.99/9.09 c 4010 16276 2730332 1378379 59 2347 7 19 11 9.09/9.10 c 4020 16316 2737772 1382332 59 2352 12 17 13 9.09/9.11 c 4030 16389 2748018 1386536 59 2355 16 23 17 9.09/9.12 c 4040 16421 2753399 1389185 59 2364 9 15 10 9.09/9.13 c 4050 16461 2757853 1391175 59 2367 12 29 22 9.09/9.14 c 4060 16483 2761544 1393026 59 2374 8 13 8 9.09/9.17 c 4070 16506 2769437 1397940 59 2381 1 6 2 9.09/9.19 c 4080 16560 2779574 1403239 59 2386 8 19 12 9.19/9.20 c 4090 16587 2782910 1405917 59 2396 14 18 13 9.19/9.21 c 4100 16658 2791795 1409480 59 2398 6 26 14 9.19/9.22 c 4110 16690 2797539 1412877 59 2406 10 19 12 9.19/9.23 c 4120 16731 2804608 1415383 59 2410 4 17 9 9.19/9.24 c 4130 16766 2807073 1416721 59 2420 17 26 21 9.19/9.25 c 4140 16809 2812256 1419231 59 2424 12 20 13 9.19/9.26 c 4150 16859 2821490 1423615 59 2431 6 28 17 9.19/9.27 c 4160 16878 2824835 1425141 59 2438 9 10 8 9.19/9.28 c 4170 16937 2833149 1428987 59 2443 10 28 16 9.29/9.30 c 4180 16981 2843976 1434087 59 2445 6 14 9 9.29/9.31 c 4190 17013 2849782 1436996 59 2452 8 16 10 9.29/9.32 c 4200 17066 2858789 1441333 59 2455 14 25 18 9.29/9.33 c 4210 17127 2866890 1444077 59 2459 8 23 11 9.29/9.35 c 4220 17200 2877159 1448833 59 2462 12 26 16 9.29/9.36 c 4230 17244 2882163 1451458 59 2464 12 21 13 9.29/9.36 c 4240 17266 2885071 1453257 59 2474 9 13 8 9.29/9.37 c 4250 17300 2887834 1454905 59 2484 23 25 21 9.29/9.39 c 4260 17370 2899032 1459609 59 2486 7 18 12 9.39/9.40 c 4270 17411 2907602 1463178 59 2491 9 14 10 9.39/9.41 c 4280 17443 2911160 1464558 59 2501 12 23 19 9.39/9.42 c 4290 17476 2917275 1467035 59 2501 8 17 10 9.39/9.43 c 4300 17509 2922368 1469337 59 2503 6 17 9 9.39/9.44 c 4310 17547 2929030 1472235 59 2507 12 22 14 9.39/9.45 c 4320 17600 2933094 1474218 59 2511 2 21 11 9.39/9.47 c 4330 17668 2940516 1478224 59 2513 8 21 11 9.39/9.48 c 4340 17706 2945277 1480653 59 2523 6 25 15 9.39/9.49 c 4350 17742 2953553 1485006 59 2531 15 20 15 9.49/9.50 c 4360 17777 2957943 1486807 59 2541 13 20 16 9.49/9.51 c 4370 17817 2964786 1489753 59 2545 10 16 10 9.49/9.52 c 4380 17848 2968529 1491913 59 2554 14 20 13 9.49/9.53 c 4390 17886 2972071 1493696 59 2564 5 28 12 9.49/9.55 c 4400 17929 2980185 1497447 59 2567 5 15 9 9.49/9.56 c 4410 17960 2988770 1501693 59 2569 8 13 10 9.49/9.57 c 4420 17996 2995203 1505090 59 2576 12 19 14 9.49/9.57 c 4430 18034 2998956 1507618 59 2585 19 23 17 9.49/9.58 c 4440 18087 3005816 1510504 59 2587 11 26 15 9.49/9.59 c 4450 18130 3011479 1512559 59 2597 9 27 10 9.59/9.61 c 4460 18175 3018320 1515737 59 2601 11 28 14 9.59/9.62 c 4470 18218 3025010 1518706 59 2603 13 19 13 9.59/9.63 c 4480 18267 3031807 1521856 59 2608 8 25 13 9.59/9.64 c 4490 18305 3035551 1523852 59 2617 20 28 21 9.59/9.65 c 4493 18328 3038388 1525419 59 2618 10 21 10 9.59/9.66 c 4500 18370 3045630 1528792 59 2624 15 26 16 9.59/9.67 c 4510 18404 3051746 1531538 59 2632 11 17 11 9.59/9.68 c 4520 18442 3054765 1533140 59 2642 19 26 22 9.59/9.69 c 4530 18482 3059784 1535562 59 2645 11 21 13 9.68/9.70 c 4540 18539 3068155 1539008 59 2649 6 19 12 9.68/9.72 c 4550 18586 3074317 1542212 59 2650 6 21 13 9.68/9.73 c 4560 18625 3080971 1545294 59 2658 15 21 16 9.68/9.74 c 4570 18664 3085097 1547707 59 2666 17 26 17 9.68/9.75 c 4580 18708 3089715 1550033 59 2670 11 20 12 9.68/9.75 conflict 6lvl : 6 bt6-19444:0(938)X41887816 9.68/9.76 c 4590 18758 3100473 1554256 59 2674 7 19 12 9.68/9.77 c 4600 18792 3102928 1555558 59 2684 22 25 20 9.68/9.78 c 4610 18818 3106729 1557695 59 2694 9 12 8 9.68/9.79 c 4620 18843 3110314 1560331 59 2704 11 16 10 9.78/9.80 c 4630 18897 3117334 1563094 59 2706 13 26 18 9.78/9.81 c 4640 18930 3122330 1565376 59 2712 10 17 10 9.78/9.82 c 4650 18973 3126676 1567522 59 2716 14 21 15 9.78/9.83 c 4660 19013 3136827 1571824 59 2720 5 18 8 9.78/9.84 c 4670 19037 3139428 1572938 59 2730 14 15 12 9.78/9.85 c 4680 19074 3143560 1574857 59 2733 16 25 20 9.78/9.86 c 4690 19103 3149614 1577503 59 2739 9 13 9 9.78/9.88 c 4700 19159 3161335 1582547 59 2742 9 17 11 9.78/9.89 c 4710 19191 3166861 1585282 59 2749 7 14 10 9.78/9.90 c 4720 19225 3173323 1588070 59 2757 9 16 10 9.89/9.91 c 4730 19259 3176007 1590300 59 2766 18 24 17 9.89/9.92 c 4740 19313 3182166 1592964 59 2769 12 26 16 9.89/9.92 c 4750 19338 3184884 1594179 59 2779 12 16 11 9.89/9.93 c 4760 19362 3187347 1595218 59 2789 14 15 12 9.89/9.94 c 4770 19391 3189819 1596852 59 2799 18 20 16 9.89/9.95 c 4780 19445 3197097 1599581 59 2801 8 23 12 9.89/9.96 c 4790 19481 3205287 1602992 59 2803 7 13 8 9.89/9.97 c 4800 19513 3211777 1605784 59 2808 7 15 8 9.89/9.99 c 4810 19564 3223171 1610541 59 2809 7 15 9 9.89/10.00 c 4820 19581 3226812 1612207 59 2816 7 8 6 9.99/10.01 c 4830 19613 3230364 1613529 59 2825 15 20 14 9.99/10.02 c 4840 19652 3236117 1616066 59 2828 9 15 11 9.99/10.03 c 4850 19698 3246065 1619697 59 2833 6 23 10 9.99/10.05 c 4860 19741 3256789 1624714 59 2835 10 22 14 9.99/10.06 c 4870 19807 3268167 1628682 59 2840 12 21 14 9.99/10.07 c 4880 19847 3274833 1631290 59 2846 5 22 10 9.99/10.08 c 4890 19884 3280177 1633961 59 2853 13 21 13 10.08/10.10 c 4900 19930 3288940 1637415 59 2855 7 13 9 10.08/10.11 c 4910 19992 3298964 1642052 59 2859 9 23 16 10.08/10.14 c 4920 20025 3308911 1645845 59 2860 3 10 5 10.08/10.15 c 4930 20059 3313451 1647776 59 2870 14 21 13 10.08/10.16 c 4940 20099 3319243 1650238 59 2877 2 27 10 10.08/10.17 c 4950 20145 3324317 1652332 59 2882 5 20 12 10.08/10.19 c 4960 20211 3331811 1656353 59 2885 5 22 14 10.08/10.19 c 4970 20236 3335158 1658003 59 2894 10 16 12 10.18/10.21 c 4980 20278 3340940 1660570 59 2901 4 24 17 10.18/10.22 c 4990 20328 3348078 1663170 59 2905 9 15 10 10.18/10.24 c 5035 20432 3366761 1673180 59 2910 8 17 12 10.28/10.31 c 5631 21256 3450036 1743171 59 2919 5 27 16 10.38/10.44 c 6286 22461 3592526 1842666 59 2929 4 29 14 10.48/10.54 c 7006 23589 3698952 1928416 59 2944 5 28 14 10.58/10.66 c 7798 24943 3821937 2021805 59 2950 4 30 15 10.68/10.78 c 8669 26363 3958497 2125917 59 2983 7 29 14 10.99/11.01 c 9627 28245 4193182 2281431 59 2995 2 29 12 11.09/11.19 c 10680 29973 4392583 2421829 59 3005 6 25 12 11.28/11.36 c 11838 31753 4560248 2534613 59 3008 6 27 13 11.38/11.50 c solution 1 11.38/11.50 11.38/11.50 v <instantiation type='solution'> 11.38/11.50 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 11.38/11.50 v <values>215 0 19 13 6 9 10 2 8 1 7 14 18 20 11 12 3 5 15 16 17 4 21 3 24 1 23 4 28 12 27 4 12 10 4 13 5 8 3 5 4 4 24 48 49 72 76 104 116 143 147 159 169 173 186 191 199 202 207 211 215 </values> 11.38/11.50 v </instantiation> 11.38/11.50 11.38/11.50 c restarts : 526 11.38/11.50 c conflicts : 12822 (1130 /sec) 11.38/11.50 c decisions : 33527 (2954 /sec) 11.38/11.50 c propagations : 2659179 (234329 /sec) 11.38/11.50 c root propagations : 22714 11.38/11.50 c filter calls : 4701406 (414292 /sec) 11.38/11.50 c useless filter calls : 4029642 (85 %) 11.38/11.50 c 11.38/11.50 c clauses : 10458036 11.38/11.50 c SAT propagations : 3666 11.38/11.50 c SAT conflicts : 57 (5 learnts) 11.38/11.50 c Memory used : 524.41 MB 11.38/11.50 c CPU time : 11.348 s 11.38/11.50 11.38/11.50 s SATISFIABLE
OK
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-4242683-1500660865/watcher-4242683-1500660865 -o /tmp/evaluation-result-4242683-1500660865/solver-4242683-1500660865 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242683-1500660865.xml pid=11432 running on 8 cores: 0,2,4,6,8,10,12,14 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 2.01 2.05 3/243 11435 /proc/meminfo: memFree=31982460/32770624 swapFree=5756/200920 [pid=11435] ppid=11432 vsize=27256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 1024 0 0 0 0 0 0 0 20 0 1 0 1351828 27910144 832 33554432000 4194304 5970956 140728153260736 140728153257384 5670331 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 6814 832 702 434 0 178 0 [startup+0.100121 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11435 /proc/meminfo: memFree=31982460/32770624 swapFree=5756/200920 [pid=11435] ppid=11432 vsize=28132 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 1275 0 0 0 9 0 0 0 20 0 1 0 1351828 28807168 1027 33554432000 4194304 5970956 140728153260736 140728153257336 140512666700773 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 7033 1027 708 434 0 397 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28132 [startup+0.200314 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11435 /proc/meminfo: memFree=31982460/32770624 swapFree=5756/200920 [pid=11435] ppid=11432 vsize=31356 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 2354 0 0 0 19 0 0 0 20 0 1 0 1351828 32108544 1874 33554432000 4194304 5970956 140728153260736 140728153257336 5673957 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 7839 1874 716 434 0 1203 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31356 [startup+0.300309 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11435 /proc/meminfo: memFree=31982460/32770624 swapFree=5756/200920 [pid=11435] ppid=11432 vsize=73128 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 10731 0 0 0 28 1 0 0 20 0 1 0 1351828 74883072 11793 33554432000 4194304 5970956 140728153260736 140728153257624 140512666769963 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 18282 11793 783 434 0 11646 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 73128 [startup+0.700305 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11435 /proc/meminfo: memFree=31982460/32770624 swapFree=5756/200920 [pid=11435] ppid=11432 vsize=348304 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 48037 0 0 0 61 7 0 0 20 0 1 0 1351828 356663296 73120 33554432000 4194304 5970956 140728153260736 140728153257560 140512666769963 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 87109 73120 783 434 0 80473 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 348304 [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11436 /proc/meminfo: memFree=31520500/32770624 swapFree=5756/200720 [pid=11435] ppid=11432 vsize=536992 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 72450 0 0 0 136 13 0 0 20 0 1 0 1351828 549879808 116447 33554432000 4194304 5970956 140728153260736 140728153258072 4933171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116447 801 434 0 127612 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 536992 [startup+3.10032 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11436 /proc/meminfo: memFree=31519020/32770624 swapFree=5756/200960 [pid=11435] ppid=11432 vsize=536992 CPUtime=3.08 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 76644 0 0 0 295 13 0 0 20 0 1 0 1351828 549879808 116466 33554432000 4194304 5970956 140728153260736 140728153258072 4934864 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116466 810 434 0 127612 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 536992 [startup+6.30032 s] /proc/loadavg: 1.92 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519128/32770624 swapFree=5756/200964 [pid=11435] ppid=11432 vsize=536992 CPUtime=6.28 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 84751 0 0 0 615 13 0 0 20 0 1 0 1351828 549879808 116467 33554432000 4194304 5970956 140728153260736 140728153258072 4934432 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116467 810 434 0 127612 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 536992 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11435 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40036 s] /proc/loadavg: 1.92 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519128/32770624 swapFree=5756/200964 [pid=11435] ppid=11432 vsize=536992 CPUtime=6.38 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 84769 0 0 0 625 13 0 0 20 0 1 0 1351828 549879808 116467 33554432000 4194304 5970956 140728153260736 140728153258072 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116467 810 434 0 127612 0 Current children cumulated CPU time (s) 6.38 Current children cumulated vsize (KiB) 536992 [startup+9.60032 s] /proc/loadavg: 1.92 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519376/32770624 swapFree=5756/200964 [pid=11435] ppid=11432 vsize=536992 CPUtime=9.59 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 85345 0 0 0 945 14 0 0 20 0 1 0 1351828 549879808 116471 33554432000 4194304 5970956 140728153260736 140728153258072 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116471 810 434 0 127612 0 Current children cumulated CPU time (s) 9.59 Current children cumulated vsize (KiB) 536992 [startup+10.4003 s] /proc/loadavg: 1.93 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519376/32770624 swapFree=5756/200972 [pid=11435] ppid=11432 vsize=536992 CPUtime=10.38 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 89241 0 0 0 1024 14 0 0 20 0 1 0 1351828 549879808 116473 33554432000 4194304 5970956 140728153260736 140728153258072 5319216 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116473 810 434 0 127612 0 Current children cumulated CPU time (s) 10.38 Current children cumulated vsize (KiB) 536992 [startup+11.2003 s] /proc/loadavg: 1.93 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519004/32770624 swapFree=5756/200972 [pid=11435] ppid=11432 vsize=536992 CPUtime=11.18 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 89377 0 0 0 1104 14 0 0 20 0 1 0 1351828 549879808 116473 33554432000 4194304 5970956 140728153260736 140728153258072 4934449 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116473 810 434 0 127612 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (KiB) 536992 [startup+11.4003 s] /proc/loadavg: 1.93 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519004/32770624 swapFree=5756/200972 [pid=11435] ppid=11432 vsize=536992 CPUtime=11.38 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202496 89390 0 0 0 1124 14 0 0 20 0 1 0 1351828 549879808 116473 33554432000 4194304 5970956 140728153260736 140728153258072 4934465 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23420928 140728153269436 140728153269571 140728153269571 140728153272270 0 /proc/11435/statm: 134248 116473 810 434 0 127612 0 Current children cumulated CPU time (s) 11.38 Current children cumulated vsize (KiB) 536992 [startup+11.5004 s] /proc/loadavg: 1.93 2.00 2.04 3/244 11436 /proc/meminfo: memFree=31519004/32770624 swapFree=5756/200972 [pid=11435] ppid=11432 vsize=0 CPUtime=11.48 cores=0,2,4,6,8,10,12,14 /proc/11435/stat : 11435 (cosoco) R 11432 11435 9829 0 -1 4202500 89551 0 0 0 1134 14 0 0 20 0 1 0 1351828 0 0 33554432000 0 0 0 0 0 0 0 4096 8405026 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/11435/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.48 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 11.5215 CPU time (s): 11.5142 CPU user time (s): 11.3483 CPU system time (s): 0.165928 CPU usage (%): 99.9366 Max. virtual memory (cumulated for all children) (KiB): 536992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.3483 system time used= 0.165928 maximum resident set size= 465964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89551 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= 12 involuntary context switches= 587 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.033086 second user time and 0.125729 second system time The end
Begin job on node146 at 2017-07-21 20:14:25 IDJOB=4242683 IDBENCH=135913 IDSOLVER=2621 FILE ID=node146/4242683-1500660865 RUNJOBID= node146-1500648174-9860 PBS_JOBID= 20623275 Free space on /tmp= 61792 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-727-a4_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242683-1500660865/watcher-4242683-1500660865 -o /tmp/evaluation-result-4242683-1500660865/solver-4242683-1500660865 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242683-1500660865.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= feda79726080e93715556435cff6944b RANDOM SEED=1265001843 node146.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 : 8 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.96 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31982900 kB MemAvailable: 31984272 kB Buffers: 42836 kB Cached: 268368 kB SwapCached: 0 kB Active: 204312 kB Inactive: 209776 kB Active(anon): 105136 kB Inactive(anon): 8856 kB Active(file): 99176 kB Inactive(file): 200920 kB Unevictable: 5756 kB Mlocked: 5788 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2972 kB Writeback: 0 kB AnonPages: 112692 kB Mapped: 31248 kB Shmem: 8852 kB Slab: 65956 kB SReclaimable: 34220 kB SUnreclaim: 31736 kB KernelStack: 4416 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 377176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 51200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61788 MiB End job on node146 at 2017-07-21 20:14:36