| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | UNSAT | 344.24399 | 344.228 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-24.xml |
| MD5SUM | 12e2e274c64cbf9c8a04283668281b9c |
| 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.5897 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 21 |
| Number of constraints | 133 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":21}] |
| Minimum variable degree | 101 |
| Maximum variable degree | 123 |
| Distribution of variable degrees | [{"degree":101,"count":1},{"degree":106,"count":1},{"degree":110,"count":2},{"degree":111,"count":2},{"degree":112,"count":1},{"degree":113,"count":3},{"degree":114,"count":1},{"degree":115,"count":1},{"degree":116,"count":2},{"degree":117,"count":2},{"degree":118,"count":1},{"degree":119,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}] |
| Minimum constraint arity | 18 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":18,"count":133}] |
| Number of extensional constraints | 133 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":133}] |
| Optimization problem | NO |
| Type of objective |
0.89/0.93 c SAT : Variables: 42 -- Clauses: 42 1.29/1.36 c root propagations : 0 1.29/1.36 c restarts enabled, print stats at every restarts 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c This is cosoco 1.12 -- 1.29/1.36 c 1.29/1.36 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266253-1502575789.xml 1.29/1.36 c ========================================[ Problem Statistics ]=========================================== 1.29/1.36 c | 1.29/1.36 c | Parse time : 0.90 s 1.29/1.36 c | 1.29/1.36 c | Variables: 21 1.29/1.36 c | Domain Sizes: 2..2 1.29/1.36 c | 1.29/1.36 c | Constraints: 133 1.29/1.36 c | Arity: 18..18 1.29/1.36 c | 1.29/1.36 c | Types: 1.29/1.36 c | Extension: 133 (nb tuples: 57639..57639) -- (shared: 132) 1.29/1.36 c | 1.29/1.36 c ========================================================================================================= 1.29/1.36 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.59/1.68 c 10 37 5415 194 0 2 11 15 12 2.19/2.22 c 20 79 11462 426 0 3 12 15 12 2.79/2.84 c 30 118 16759 614 0 7 11 15 12 3.39/3.43 c 40 154 21654 773 0 9 12 15 12 4.00/4.05 c 50 199 28191 1002 0 12 13 14 12 4.59/4.69 c 60 241 33973 1197 0 15 12 14 12 5.29/5.37 c 70 278 38921 1377 0 17 11 15 12 6.00/6.01 c 80 319 44607 1585 0 21 12 14 12 6.59/6.63 c 90 359 50002 1785 0 24 12 14 12 7.19/7.28 c 100 399 55316 1984 0 27 11 14 12 7.89/7.91 c 101 412 57355 2021 0 28 13 13 6 8.49/8.59 c 110 448 62381 2197 0 31 12 14 11 9.29/9.30 c 120 490 67840 2398 0 34 11 15 12 10.00/10.03 c 130 532 73646 2592 0 38 12 14 12 10.69/10.72 conflict 10lvl : 11 bt10-37:0(11)X677 10.69/10.74 c 140 573 79325 2790 0 40 10 14 11 11.39/11.44 c 150 617 85418 2992 0 43 11 14 12 12.00/12.07 c 160 657 91177 3214 0 46 12 14 12 12.79/12.80 c 170 701 97189 3421 0 50 12 14 12 13.39/13.45 conflict 9lvl : 13 bt13-37:0(9)X843 13.39/13.48 c 180 746 103237 3645 0 54 13 14 12 14.10/14.13 conflict 8lvl : 13 bt11-37:0(11)X906 14.10/14.16 -> -37:X(11)c 190 789 109361 3844 0 56 10 14 11 14.79/14.86 c 200 829 114693 4052 0 59 7 14 11 15.59/15.62 c 210 870 120206 4217 0 62 11 14 12 16.29/16.35 c 211 882 121868 4242 0 63 12 12 6 17.00/17.07 c 220 922 127138 4414 0 67 13 14 12 17.69/17.77 c 230 957 131958 4594 0 68 11 14 12 18.39/18.46 conflict 9lvl : 11 bt11-11:0(9)X1096 18.39/18.48 -> -11:X(9)c 240 999 137587 4776 0 71 12 14 12 19.10/19.18 c 250 1041 143414 4997 0 74 13 14 12 19.79/19.87 c 260 1078 148342 5157 0 78 11 14 11 20.49/20.57 c 270 1119 153899 5376 0 82 7 14 11 21.19/21.26 c 280 1156 159077 5559 0 84 11 14 12 21.89/21.93 c 290 1196 164349 5751 0 87 12 14 12 22.59/22.64 c 300 1241 170435 5982 0 90 13 14 12 23.39/23.41 c 310 1284 176370 6171 0 92 12 14 12 24.10/24.16 c 320 1326 181855 6374 0 96 11 15 12 24.79/24.88 c 330 1372 187816 6594 0 99 13 15 12 25.49/25.53 c 332 1390 190232 6649 0 101 13 14 9 26.19/26.23 c 340 1420 194397 6783 0 102 10 14 11 26.89/26.94 c 350 1462 200024 6993 0 105 12 14 12 27.59/27.64 c 360 1500 205506 7182 0 108 11 15 11 28.29/28.36 c 370 1543 211204 7388 0 111 12 14 12 29.00/29.07 c 380 1583 216700 7581 0 114 12 14 12 29.69/29.77 c 390 1620 222070 7763 0 116 11 14 11 30.39/30.49 c 400 1670 228693 7993 0 119 13 14 12 31.10/31.18 c 410 1711 234507 8190 0 120 10 14 12 31.79/31.88 c 420 1755 240634 8418 0 123 13 15 12 32.49/32.56 c 430 1795 246428 8640 0 126 11 14 11 33.19/33.22 c 440 1833 251664 8829 0 127 12 14 12 33.89/33.91 c 450 1878 257794 9040 0 131 13 15 12 34.59/34.63 c 460 1921 263532 9251 0 135 11 15 12 35.19/35.28 c 465 1945 266831 9350 0 136 11 14 11 35.89/35.97 c 470 1968 270107 9448 0 138 12 14 10 36.59/36.66 c 480 2010 275823 9665 0 141 13 14 12 37.29/37.34 c 490 2050 281297 9859 0 143 10 14 11 38.00/38.02 c 500 2089 286645 10072 0 147 11 14 11 38.69/38.72 c 510 2131 292621 10285 0 151 12 14 12 39.39/39.43 c 520 2174 298833 10492 0 154 13 15 12 40.10/40.13 c 530 2219 305241 10709 0 156 11 14 12 40.80/40.80 c 540 2259 310961 10905 0 158 9 15 11 41.40/41.46 c 550 2296 315896 11088 0 161 11 14 12 42.01/42.03 conflict 8lvl : 9 bt9-5:0(8)X2280 42.01/42.07 -> -5:X(8)c 560 2343 322187 11309 0 166 12 14 12 42.70/42.75 conflict 9lvl : 10 bt10-5:0(9)X2356 42.70/42.77 -> -5:X(9)c 570 2381 327537 11495 0 171 6 14 11 43.30/43.36 c 580 2423 333178 11687 0 175 12 14 12 44.01/44.02 conflict 8lvl : 11 bt11-5:0(8)X2485 44.01/44.06 -> -5:X(8)c 590 2470 339951 11922 0 178 12 14 12 44.70/44.78 c 600 2507 345159 12095 0 180 12 14 11 45.40/45.43 c 610 2550 351216 12301 0 182 13 14 12 46.01/46.08 c 611 2563 353115 12327 0 183 13 13 6 46.80/46.81 c 620 2605 358884 12538 0 187 13 14 11 47.40/47.46 c 630 2639 363549 12699 0 190 11 14 11 48.11/48.14 c 640 2680 369381 12911 0 193 12 14 11 48.80/48.83 c 650 2720 375113 13112 0 197 12 14 11 49.50/49.52 c 660 2761 381115 13320 0 200 13 14 11 50.20/50.23 c 670 2801 387032 13526 0 202 12 14 11 51.01/51.04 c 680 2838 392317 13711 0 205 6 15 10 51.70/51.76 c 690 2877 398075 13926 0 206 12 14 12 52.50/52.52 c 700 2919 403899 14142 0 209 10 14 11 53.20/53.26 c 710 2961 409509 14348 0 213 11 14 11 53.90/53.91 c 720 3002 414955 14545 0 216 12 14 12 54.60/54.69 c 730 3043 420683 14753 0 219 12 14 12 55.30/55.38 c 740 3087 426774 14964 0 220 9 14 11 56.01/56.09 c 750 3128 432718 15166 0 224 12 14 11 56.80/56.81 c 760 3170 438493 15374 0 227 12 14 12 57.50/57.51 c 770 3210 444254 15592 0 229 11 14 11 58.20/58.21 c 771 3218 445566 15616 0 230 8 8 4 58.90/58.93 c 780 3268 452360 15861 0 232 13 14 12 59.60/59.68 c 790 3319 459003 16121 0 237 13 14 12 60.30/60.39 c 800 3363 465118 16335 0 239 10 14 11 61.01/61.04 c 810 3408 471167 16543 0 242 13 15 12 61.70/61.79 c 820 3453 477151 16760 0 245 12 15 12 62.40/62.49 c 830 3487 481767 16934 0 248 5 14 11 63.20/63.22 c 840 3529 487564 17120 0 251 12 14 12 63.80/63.84 c 850 3567 492816 17311 0 255 11 15 12 64.50/64.52 c 860 3613 499254 17524 0 257 12 14 12 65.11/65.13 c 870 3652 504674 17723 0 260 11 14 12 65.80/65.87 c 880 3691 510176 17916 0 263 10 14 11 66.50/66.50 c 890 3735 516284 18149 0 267 13 14 12 67.11/67.18 c 900 3774 521751 18349 0 268 12 15 12 67.80/67.87 c 910 3818 528261 18565 0 271 12 14 12 68.49/68.50 c 920 3859 534038 18774 0 273 13 14 12 69.10/69.18 c 930 3900 539864 18970 0 276 12 14 12 69.79/69.83 c 940 3943 546244 19186 0 281 13 14 12 70.49/70.50 c 947 3977 551098 19338 0 285 13 14 11 71.10/71.15 c 950 3999 554182 19420 0 287 12 14 9 71.79/71.83 c 960 4043 560527 19626 0 291 13 14 11 72.49/72.52 c 970 4077 565619 19792 0 293 7 14 11 73.10/73.18 c 980 4119 571914 19992 0 296 13 14 12 73.79/73.85 c 990 4165 578370 20214 0 301 13 14 12 74.49/74.50 c 1000 4207 584364 20415 0 304 11 14 12 75.10/75.18 c 1010 4249 590319 20603 0 306 13 14 12 75.89/75.92 c 1020 4287 595450 20791 0 309 5 14 11 76.59/76.62 c 1030 4327 601203 20991 0 313 12 14 11 77.19/77.29 c 1040 4366 606710 21192 0 316 12 14 12 77.89/77.94 c 1050 4404 612360 21384 0 320 11 14 12 78.59/78.62 c 1060 4449 618619 21607 0 323 13 14 12 79.19/79.25 c 1070 4492 624537 21831 0 326 13 14 12 79.89/79.90 c 1080 4535 630523 22031 0 330 13 14 12 80.49/80.54 c 1090 4580 636975 22275 0 334 12 14 12 81.19/81.22 c 1100 4620 642456 22465 0 337 12 14 12 81.79/81.87 c 1110 4663 648520 22682 0 340 13 14 12 82.39/82.47 c 1120 4710 655328 22903 0 343 12 14 11 83.00/83.09 c 1130 4750 660989 23098 0 346 11 14 11 83.69/83.70 c 1140 4798 667380 23318 0 349 12 14 11 84.19/84.26 c 1141 4811 669308 23345 0 350 13 13 6 84.79/84.83 c 1150 4847 674499 23533 0 351 13 14 12 85.39/85.43 c 1160 4890 680750 23751 0 354 11 14 11 85.89/85.97 c 1170 4924 685586 23936 0 357 9 14 11 86.49/86.51 c 1180 4961 690943 24136 0 359 11 14 11 87.10/87.15 c 1190 5004 697060 24352 0 363 12 14 12 87.79/87.80 c 1200 5053 703861 24589 0 366 13 14 11 88.29/88.39 c 1210 5099 710381 24840 0 370 13 15 12 88.89/88.99 c 1220 5141 716321 25055 0 371 12 14 11 89.59/89.62 c 1230 5185 722470 25269 0 375 12 14 12 90.19/90.23 c 1240 5231 728745 25500 0 378 13 15 12 90.79/90.81 c 1250 5274 734828 25709 0 381 13 14 12 91.29/91.39 c 1260 5314 740419 25909 0 384 12 15 12 91.89/91.97 c 1270 5353 745839 26098 0 387 13 14 12 92.49/92.56 c 1280 5396 751852 26288 0 391 12 14 12 93.10/93.14 c 1290 5432 757246 26469 0 394 9 14 11 93.69/93.71 c 1300 5477 763344 26688 0 398 13 14 12 94.19/94.28 c 1310 5520 769242 26900 0 402 12 14 12 94.79/94.83 c 1320 5560 774831 27087 0 406 11 14 11 95.39/95.46 c 1330 5605 781142 27323 0 409 12 14 12 96.00/96.10 c 1340 5646 786788 27511 0 412 11 14 11 96.59/96.69 c 1350 5684 792077 27708 0 416 9 14 11 97.19/97.24 c 1352 5700 794255 27756 0 417 14 14 9 97.79/97.86 c 1360 5738 799350 27926 0 420 13 14 12 98.49/98.51 c 1370 5788 805919 28165 0 422 10 14 12 99.19/99.22 c 1380 5840 812878 28412 0 425 12 14 12 99.79/99.83 c 1390 5883 818727 28621 0 428 12 15 12 100.49/100.51 c 1400 5925 824647 28841 0 431 10 14 11 101.10/101.11 c 1410 5970 831124 29052 0 433 13 14 11 101.69/101.70 c 1420 6013 837118 29259 0 436 11 14 12 102.19/102.27 c 1430 6058 843657 29465 0 438 13 14 12 102.89/102.98 c 1440 6102 849533 29675 0 441 11 14 12 103.59/103.60 c 1450 6141 854915 29869 0 443 10 14 11 104.19/104.29 c 1460 6177 859816 30065 0 446 4 15 11 104.79/104.88 c 1470 6224 866579 30271 0 448 13 15 12 105.39/105.49 c 1480 6264 872491 30488 0 451 12 14 12 106.00/106.09 c 1490 6305 878352 30679 0 454 12 14 11 106.59/106.67 c 1500 6344 883658 30870 0 458 12 14 11 107.19/107.27 c 1510 6382 889063 31053 0 461 12 14 12 107.79/107.89 c 1520 6427 895356 31273 0 465 13 14 12 108.49/108.55 c 1530 6473 901624 31502 0 468 13 14 12 109.10/109.14 c 1540 6517 907821 31732 0 472 12 14 12 109.79/109.80 c 1550 6561 913909 31941 0 476 12 14 11 110.39/110.47 c 1560 6603 919593 32144 0 479 12 14 12 111.00/111.07 c 1570 6643 925268 32352 0 482 11 15 12 111.59/111.65 c 1580 6682 930728 32550 0 485 12 14 12 112.19/112.23 c 1585 6710 934709 32664 0 488 13 15 11 112.79/112.80 conflict 10lvl : 12 bt12-35:0(9)X6412 112.79/112.81 c 1590 6734 938252 32778 0 491 9 14 10 113.39/113.43 c 1600 6774 943849 32987 0 496 5 14 11 114.00/114.01 c 1610 6812 949203 33185 0 499 10 14 11 114.49/114.59 c 1620 6855 955253 33397 0 502 13 14 12 115.10/115.19 c 1630 6897 961075 33605 0 505 8 14 11 115.69/115.79 c 1640 6948 968028 33859 0 507 13 14 12 116.29/116.35 c 1650 6991 974065 34070 0 508 13 15 12 116.89/116.93 c 1660 7030 979607 34273 0 510 11 14 11 117.49/117.50 c 1670 7077 986125 34503 0 513 13 14 12 118.00/118.08 c 1680 7119 992332 34721 0 516 12 14 11 118.59/118.67 c 1690 7164 998557 34936 0 517 13 14 11 119.19/119.26 c 1700 7203 1004157 35130 0 519 11 14 11 119.89/119.91 c 1710 7248 1010474 35363 0 522 13 14 12 120.49/120.50 c 1720 7290 1016212 35575 0 525 13 14 12 121.00/121.08 c 1730 7333 1022562 35795 0 528 12 14 12 121.59/121.67 c 1740 7382 1029542 36037 0 531 13 14 12 122.19/122.25 c 1750 7430 1036425 36264 0 534 13 14 12 122.79/122.84 c 1760 7473 1042472 36479 0 538 11 14 12 123.49/123.56 c 1770 7515 1048224 36694 0 541 11 14 11 124.19/124.26 c 1780 7568 1055231 36965 0 546 13 14 12 124.79/124.87 c 1790 7612 1061466 37194 0 549 11 14 12 125.39/125.45 c 1800 7653 1067143 37402 0 552 12 14 12 125.89/126.00 c 1810 7691 1072343 37595 0 556 12 14 11 126.59/126.61 c 1820 7735 1078615 37786 0 560 12 14 12 127.19/127.25 c 1830 7782 1084899 38025 0 564 12 15 12 127.69/127.79 c 1840 7819 1090115 38224 0 567 12 14 11 128.29/128.33 conflict 7lvl : 12 bt12-41:0(7)X7421 128.29/128.34 c 1841 7835 1092536 38271 0 568 15 15 7 128.89/128.92 c 1850 7875 1098020 38473 0 571 13 14 12 129.39/129.48 c 1860 7915 1103294 38682 0 574 12 14 12 130.10/130.11 c 1870 7956 1109079 38875 0 577 11 14 12 130.59/130.66 c 1880 8000 1115317 39110 0 579 12 14 12 131.19/131.24 c 1890 8040 1120898 39321 0 582 12 14 12 131.79/131.82 c 1900 8085 1127140 39560 0 584 12 14 12 132.39/132.41 c 1910 8125 1132504 39750 0 586 13 14 12 132.89/132.99 c 1920 8164 1137731 39924 0 589 12 15 12 133.49/133.59 c 1930 8205 1143217 40128 0 593 11 14 12 134.10/134.17 c 1940 8246 1148875 40314 0 597 12 14 12 134.69/134.71 conflict 7lvl : 12 bt12-35:0(7)X7809 134.69/134.73 -> -35:X(7)c 1950 8289 1154681 40502 0 601 12 14 12 135.29/135.35 c 1960 8336 1161188 40744 0 605 13 14 12 135.89/135.94 c 1970 8380 1167513 40976 0 606 12 14 12 136.49/136.51 c 1980 8428 1174442 41210 0 609 13 14 12 137.10/137.12 c 1990 8475 1180881 41441 0 611 13 14 12 137.69/137.72 c 2000 8514 1186140 41630 0 614 11 14 12 138.29/138.30 c 2010 8558 1192361 41848 0 618 12 14 12 138.79/138.87 c 2020 8600 1198294 42059 0 620 12 14 12 139.39/139.44 c 2030 8639 1203774 42239 0 623 12 14 12 140.19/140.23 c 2040 8684 1209903 42439 0 625 12 14 11 140.89/141.00 c 2050 8729 1215849 42643 0 629 11 14 11 141.49/141.56 c 2060 8772 1221770 42845 0 632 13 14 12 142.29/142.37 c 2070 8814 1227800 43032 0 635 11 14 11 142.89/142.95 c 2080 8856 1233731 43224 0 637 12 14 12 143.69/143.70 c 2090 8893 1239055 43409 0 640 3 14 11 144.19/144.26 c 2100 8939 1245278 43638 0 642 10 15 12 145.00/145.07 c 2110 8982 1251248 43797 0 645 10 13 11 145.59/145.62 c 2120 9023 1257006 44001 0 648 12 14 12 146.19/146.23 c 2122 9038 1259310 44062 0 649 13 13 8 146.79/146.85 c 2130 9076 1264343 44232 0 653 13 14 12 147.59/147.64 c 2140 9117 1269996 44401 0 656 10 14 11 148.19/148.27 c 2150 9163 1276346 44611 0 658 13 14 12 148.79/148.89 c 2160 9198 1281188 44787 0 661 12 14 12 149.49/149.52 c 2170 9235 1286148 44960 0 663 12 14 12 150.10/150.11 c 2180 9277 1291969 45169 0 666 12 14 12 150.69/150.72 c 2190 9314 1297023 45356 0 669 11 14 11 151.29/151.32 c 2200 9353 1302817 45547 0 673 9 14 11 151.79/151.89 c 2210 9392 1308238 45739 0 675 10 15 12 152.49/152.52 c 2220 9437 1314267 45954 0 677 13 15 12 153.10/153.11 c 2230 9479 1320007 46134 0 680 12 14 12 153.59/153.69 c 2240 9523 1326270 46334 0 684 12 14 12 154.29/154.31 c 2250 9564 1331825 46523 0 687 7 14 11 154.79/154.89 c 2260 9605 1337549 46720 0 690 13 14 11 155.39/155.48 c 2270 9641 1342641 46913 0 692 12 14 11 156.10/156.11 c 2280 9682 1348310 47107 0 694 11 14 12 156.69/156.74 c 2290 9724 1353874 47300 0 697 13 14 12 157.29/157.36 c 2300 9767 1359805 47502 0 699 11 15 12 158.10/158.16 c 2310 9805 1365554 47631 0 703 9 14 10 159.00/159.03 c 2320 9844 1371153 47776 0 709 8 14 10 159.59/159.60 c 2330 9886 1376797 47970 0 713 11 14 12 160.19/160.26 c 2340 9929 1382636 48168 0 715 11 15 12 160.79/160.87 c 2350 9968 1388203 48354 0 718 11 14 11 161.49/161.50 c 2360 10012 1394251 48547 0 721 13 15 12 162.10/162.15 c 2370 10059 1400406 48775 0 725 13 15 12 162.69/162.74 c 2380 10105 1406857 49012 0 728 13 15 12 163.29/163.39 c 2390 10146 1412318 49200 0 731 11 15 12 163.89/164.00 c 2400 10185 1417753 49378 0 733 10 14 11 164.59/164.62 c 2410 10226 1423455 49580 0 736 12 14 11 165.19/165.22 c 2420 10269 1429665 49795 0 739 11 14 12 165.79/165.82 c 2430 10312 1435710 49997 0 742 12 14 12 166.29/166.39 c 2431 10325 1437820 50029 0 743 13 13 6 167.00/167.01 c 2440 10364 1443302 50225 0 746 12 14 12 167.59/167.62 c 2450 10410 1449562 50461 0 748 13 14 12 168.19/168.22 c 2460 10453 1455486 50655 0 751 11 14 11 168.69/168.78 c 2470 10493 1460955 50847 0 754 12 14 12 169.39/169.40 c 2480 10532 1466442 51034 0 757 11 15 11 170.00/170.01 c 2490 10577 1472689 51249 0 759 12 14 11 170.59/170.63 c 2500 10617 1478461 51438 0 763 12 14 11 171.19/171.26 c 2510 10651 1483078 51594 0 767 7 14 11 171.79/171.87 c 2520 10689 1488431 51775 0 770 12 14 12 172.39/172.46 c 2530 10727 1493840 51950 0 774 12 14 12 173.00/173.07 c 2540 10765 1499185 52133 0 777 10 14 11 173.59/173.66 c 2550 10807 1505099 52337 0 781 12 14 12 174.19/174.26 c 2560 10849 1510996 52544 0 785 13 14 12 174.79/174.86 c 2570 10888 1516491 52744 0 789 12 14 11 175.49/175.50 c 2580 10937 1523346 52991 0 790 13 14 12 176.10/176.11 c 2590 10971 1528082 53150 0 794 9 14 11 176.69/176.79 c 2600 11016 1534101 53335 0 796 12 14 12 177.39/177.44 c 2610 11063 1540583 53560 0 799 13 14 12 178.00/178.09 c 2620 11107 1546501 53778 0 802 11 15 12 178.69/178.73 c 2630 11153 1552586 53985 0 806 13 14 12 179.29/179.33 c 2640 11195 1558573 54200 0 809 11 14 12 179.89/179.90 c 2650 11238 1564576 54429 0 810 9 14 11 180.49/180.59 c 2660 11283 1570697 54658 0 813 11 15 11 181.10/181.16 c 2670 11329 1577151 54884 0 815 13 14 12 181.69/181.78 c 2680 11369 1582884 55079 0 818 12 14 12 182.29/182.38 c 2690 11414 1589243 55298 0 821 13 14 12 183.00/183.01 c 2700 11463 1596138 55558 0 823 13 14 12 183.49/183.58 c 2710 11503 1601872 55772 0 826 12 14 12 184.10/184.18 c 2720 11548 1608153 55986 0 829 13 14 12 184.69/184.76 c 2730 11590 1613910 56181 0 833 13 14 12 185.29/185.34 c 2740 11631 1619995 56378 0 836 12 14 12 185.89/185.92 c 2750 11676 1626249 56589 0 839 13 14 12 186.49/186.51 c 2760 11717 1631976 56801 0 842 11 15 12 187.00/187.08 c 2770 11755 1637224 56979 0 844 11 14 12 187.59/187.69 c 2771 11768 1639348 57017 0 845 13 13 6 188.29/188.31 c 2780 11805 1644876 57193 0 847 11 14 11 188.89/188.94 c 2790 11846 1651117 57426 0 850 11 15 12 189.49/189.56 c 2800 11890 1657011 57645 0 854 11 15 12 190.10/190.18 c 2810 11933 1662896 57846 0 858 13 14 12 190.69/190.79 c 2820 11980 1669340 58085 0 861 12 15 12 191.29/191.38 c 2830 12019 1674835 58273 0 863 12 14 12 191.89/192.00 c 2840 12060 1680903 58485 0 866 12 14 12 192.49/192.56 c 2850 12096 1686102 58674 0 869 11 15 12 193.10/193.17 c 2860 12142 1692618 58894 0 871 13 14 12 193.69/193.77 c 2870 12180 1697977 59086 0 874 11 14 12 194.29/194.37 c 2880 12228 1704445 59313 0 877 13 15 12 195.00/195.01 c 2890 12277 1711046 59529 0 880 14 15 12 195.59/195.61 c 2900 12321 1716976 59732 0 883 13 15 12 196.19/196.23 c 2910 12367 1723457 59944 0 886 12 14 12 196.79/196.84 c 2920 12406 1729128 60150 0 888 10 14 11 197.39/197.45 c 2930 12450 1735503 60386 0 889 13 14 12 198.00/198.05 c 2940 12490 1740920 60572 0 891 12 14 12 198.59/198.65 c 2950 12526 1746021 60745 0 895 12 14 11 199.19/199.23 c 2960 12574 1752728 60992 0 898 13 14 12 199.79/199.81 c 2970 12614 1758418 61178 0 901 12 14 12 200.40/200.45 c 2980 12657 1764662 61402 0 903 11 14 12 201.00/201.04 c 2990 12699 1770455 61609 0 906 11 14 12 201.70/201.71 c 3000 12742 1776158 61810 0 909 13 14 12 202.20/202.26 c 3010 12783 1782100 62038 0 912 12 14 12 202.80/202.89 c 3020 12826 1788777 62253 0 916 11 14 11 203.50/203.51 c 3030 12866 1794280 62452 0 919 11 14 12 204.10/204.13 c 3040 12910 1800840 62677 0 922 12 14 11 204.70/204.72 c 3050 12945 1806201 62852 0 924 11 14 11 205.30/205.33 c 3060 12991 1812905 63073 0 927 12 14 12 205.90/205.93 c 3070 13034 1818878 63283 0 930 12 14 12 206.50/206.58 c 3080 13076 1824576 63482 0 934 11 14 11 207.10/207.18 c 3090 13112 1829745 63662 0 938 11 14 11 207.70/207.79 c 3100 13150 1835413 63856 0 941 11 14 11 208.40/208.47 c 3110 13198 1842036 64081 0 943 12 14 12 209.00/209.08 c 3120 13246 1848973 64326 0 946 13 14 12 209.60/209.68 c 3130 13283 1854325 64522 0 951 9 14 11 210.20/210.23 conflict 4lvl : 10 bt10-5:0(4)X12248 210.30/210.36 c 3140 13329 1860741 64757 0 953 13 14 12 211.00/211.02 c 3142 13353 1863943 64821 0 955 13 14 9 211.50/211.59 c 3150 13387 1868676 64996 0 958 12 14 11 212.20/212.29 c 3160 13431 1875027 65222 0 961 11 14 12 212.80/212.86 c 3170 13469 1880352 65404 0 965 11 14 12 213.40/213.47 c 3180 13515 1886599 65624 0 968 12 14 12 214.00/214.09 c 3190 13548 1891264 65787 0 971 9 14 11 214.70/214.74 c 3200 13590 1896992 65992 0 974 11 14 12 215.30/215.35 c 3210 13633 1903054 66199 0 977 12 14 12 215.90/215.93 c 3220 13677 1909164 66404 0 979 10 14 12 216.60/216.66 c 3230 13720 1915020 66598 0 982 12 14 12 217.30/217.38 c 3240 13758 1919911 66772 0 985 4 14 11 217.90/217.97 c 3250 13801 1925714 66970 0 986 13 14 12 218.50/218.57 c 3260 13839 1931141 67154 0 988 12 14 12 219.11/219.17 c 3270 13883 1937306 67364 0 991 12 14 12 219.70/219.78 c 3280 13926 1943315 67596 0 993 12 14 12 220.30/220.39 c 3290 13964 1948698 67776 0 996 11 14 12 220.90/220.99 c 3300 14011 1955263 67988 0 1000 13 15 12 221.50/221.58 c 3310 14054 1961584 68203 0 1002 12 14 11 222.11/222.18 c 3320 14096 1967300 68400 0 1006 12 14 12 222.80/222.81 c 3330 14137 1973118 68619 0 1009 11 14 11 223.40/223.44 c 3340 14176 1978622 68823 0 1012 12 14 12 224.00/224.03 c 3350 14217 1984375 69022 0 1015 11 14 12 224.60/224.65 c 3360 14263 1990542 69238 0 1019 13 14 12 225.20/225.24 c 3370 14302 1996304 69428 0 1023 11 14 11 225.80/225.85 c 3380 14345 2002346 69621 0 1026 12 14 12 226.40/226.46 c 3390 14385 2007782 69835 0 1029 12 14 12 227.00/227.05 c 3400 14423 2013214 70046 0 1031 8 14 11 227.60/227.63 c 3410 14465 2019021 70255 0 1034 11 14 12 228.20/228.23 c 3420 14502 2024349 70446 0 1035 12 14 12 228.70/228.79 c 3430 14544 2030274 70646 0 1038 12 14 12 229.40/229.41 c 3440 14586 2036129 70854 0 1039 9 14 11 229.90/230.00 c 3450 14627 2041846 71048 0 1042 12 14 12 230.60/230.60 c 3460 14671 2048168 71258 0 1045 13 14 12 231.20/231.22 c 3470 14714 2054244 71476 0 1049 13 14 12 231.80/231.81 c 3480 14756 2059854 71655 0 1052 13 14 12 232.40/232.41 c 3490 14797 2065691 71865 0 1054 13 14 12 232.90/232.97 c 3500 14839 2071633 72084 0 1058 12 14 11 233.50/233.58 c 3510 14876 2076981 72268 0 1061 12 14 11 234.11/234.18 c 3520 14917 2082686 72499 0 1063 11 14 11 234.70/234.78 c 3530 14961 2088794 72711 0 1065 11 14 12 235.50/235.50 c 3540 15007 2095072 72930 0 1068 12 14 12 236.11/236.12 c 3550 15051 2101111 73145 0 1072 12 14 12 236.70/236.72 c 3551 15063 2103033 73174 0 1073 12 12 6 237.30/237.33 c 3560 15095 2107883 73335 0 1077 9 14 11 237.90/237.97 c 3570 15139 2114093 73564 0 1078 13 14 12 238.60/238.60 c 3580 15182 2120127 73777 0 1081 13 14 12 239.20/239.21 c 3590 15225 2126569 73994 0 1085 6 14 11 239.80/239.81 c 3600 15267 2132524 74210 0 1089 12 14 12 240.40/240.43 c 3610 15310 2138700 74419 0 1092 7 14 11 241.01/241.05 c 3620 15347 2144392 74617 0 1095 7 14 11 241.60/241.68 c 3630 15387 2150232 74814 0 1097 7 14 11 242.40/242.46 c 3640 15429 2155827 75008 0 1101 11 14 12 243.01/243.07 c 3650 15472 2162286 75234 0 1104 11 14 11 243.60/243.69 c 3660 15514 2168313 75442 0 1108 11 14 12 244.30/244.32 c 3670 15553 2173743 75621 0 1111 11 14 12 244.90/244.95 c 3680 15594 2179795 75828 0 1114 7 14 11 245.50/245.53 c 3690 15636 2185792 76047 0 1116 10 14 11 246.11/246.16 c 3700 15676 2191509 76251 0 1119 12 14 12 246.70/246.78 c 3710 15716 2197184 76452 0 1122 11 14 12 247.30/247.39 c 3720 15758 2202993 76676 0 1125 11 14 12 247.90/247.99 c 3730 15797 2208436 76876 0 1128 12 14 12 248.60/248.66 c 3740 15840 2214525 77077 0 1131 11 14 11 249.30/249.32 c 3750 15888 2221014 77316 0 1133 12 14 12 249.90/249.99 c 3760 15934 2227766 77541 0 1138 12 15 12 250.70/250.76 c 3770 15981 2233949 77769 0 1141 13 14 12 251.30/251.35 c 3780 16020 2239595 77961 0 1144 10 14 11 252.01/252.03 c 3790 16065 2245840 78179 0 1148 13 14 12 252.70/252.70 c 3800 16109 2252138 78383 0 1152 12 14 11 253.20/253.27 c 3810 16155 2258671 78602 0 1154 13 14 12 253.80/253.88 c 3820 16194 2263927 78760 0 1157 12 15 12 254.40/254.47 c 3830 16238 2270056 78987 0 1160 13 14 12 255.01/255.04 c 3840 16275 2275400 79160 0 1163 12 14 12 255.60/255.62 c 3850 16314 2280868 79344 0 1165 12 14 12 256.20/256.22 c 3860 16356 2287088 79547 0 1167 11 14 11 256.80/256.82 c 3870 16400 2293060 79756 0 1170 12 14 12 257.40/257.42 c 3880 16445 2299297 79977 0 1174 12 14 12 258.01/258.04 c 3890 16490 2305388 80199 0 1178 12 14 12 258.60/258.63 c 3900 16532 2311648 80419 0 1181 12 14 12 259.20/259.20 c 3910 16574 2317427 80610 0 1185 12 14 12 259.70/259.74 c 3920 16616 2323330 80817 0 1187 12 14 12 260.30/260.35 c 3930 16658 2329123 81015 0 1190 11 14 12 260.90/260.90 c 3940 16697 2334653 81202 0 1193 12 15 12 261.50/261.50 c 3950 16739 2340612 81413 0 1195 12 14 12 262.01/262.09 c 3960 16783 2346566 81625 0 1198 13 15 12 262.70/262.70 c 3970 16827 2352707 81853 0 1202 12 15 12 263.30/263.30 c 3980 16865 2358050 82033 0 1204 10 14 11 263.80/263.89 c 3990 16906 2363852 82247 0 1206 13 14 12 264.40/264.48 c 4000 16949 2369644 82468 0 1209 13 14 12 265.01/265.05 c 4001 16962 2371679 82508 0 1210 13 13 6 265.60/265.64 c 4010 17001 2377427 82721 0 1213 12 14 12 266.20/266.25 c 4020 17037 2382725 82911 0 1215 11 14 11 266.80/266.84 c 4030 17075 2388644 83110 0 1219 10 14 11 267.40/267.45 c 4040 17118 2394935 83330 0 1223 12 14 12 268.01/268.01 c 4050 17159 2400922 83528 0 1226 13 14 11 268.60/268.61 c 4060 17196 2406421 83723 0 1230 9 14 11 269.20/269.21 c 4070 17239 2412439 83933 0 1234 13 14 12 269.80/269.82 c 4080 17284 2418847 84148 0 1239 12 14 12 270.41/270.45 c 4090 17326 2424407 84338 0 1242 13 15 12 271.02/271.07 c 4100 17367 2430208 84536 0 1245 11 14 11 271.61/271.64 c 4110 17409 2435988 84746 0 1248 12 14 12 272.21/272.20 c 4120 17456 2442345 84964 0 1251 13 14 12 272.81/272.80 c 4130 17495 2447912 85167 0 1254 11 14 11 273.41/273.42 c 4140 17533 2453277 85357 0 1258 6 14 11 273.91/273.99 c 4150 17576 2459145 85576 0 1262 12 14 12 274.51/274.56 c 4160 17616 2464851 85754 0 1265 12 14 12 275.12/275.15 c 4170 17658 2470557 85955 0 1266 13 14 12 275.71/275.79 c 4180 17696 2475909 86158 0 1270 6 14 11 276.31/276.38 c 4190 17742 2482277 86391 0 1274 13 14 12 276.91/276.95 c 4200 17782 2487873 86594 0 1277 12 14 12 277.51/277.55 c 4210 17824 2493928 86807 0 1281 12 14 12 278.12/278.14 c 4220 17867 2499975 87011 0 1283 12 14 12 278.71/278.74 c 4230 17909 2505888 87219 0 1287 12 14 12 279.31/279.33 c 4240 17946 2511104 87394 0 1290 12 14 11 280.31/280.30 c 4250 17994 2517629 87605 0 1293 12 14 12 281.21/281.29 c 4260 18042 2524150 87850 0 1295 11 14 12 282.21/282.29 c 4270 18089 2530467 88065 0 1298 11 14 12 282.91/282.90 c 4280 18128 2536114 88272 0 1300 10 14 11 283.51/283.54 c 4290 18172 2542135 88495 0 1303 13 14 12 284.51/284.50 c 4300 18215 2548290 88678 0 1305 10 14 11 285.12/285.12 c 4310 18254 2554004 88885 0 1309 10 14 11 285.71/285.73 c 4320 18290 2559098 89058 0 1311 12 14 11 286.71/286.71 c 4330 18339 2565859 89285 0 1315 12 14 12 287.31/287.33 c 4340 18373 2570513 89442 0 1319 11 14 11 287.91/287.95 c 4350 18420 2577097 89684 0 1323 13 14 12 288.61/288.60 c 4360 18461 2582733 89899 0 1325 11 14 11 289.21/289.24 c 4370 18506 2588948 90124 0 1329 13 14 12 289.81/289.89 c 4380 18557 2595736 90373 0 1331 13 15 12 290.51/290.51 c 4390 18591 2600648 90557 0 1334 9 14 11 291.12/291.14 c 4400 18626 2605929 90753 0 1338 9 14 11 292.02/292.09 c 4410 18670 2611794 90963 0 1340 10 14 12 292.71/292.73 c 4420 18712 2617382 91149 0 1343 13 15 12 293.41/293.40 c 4430 18756 2623421 91352 0 1346 12 14 12 293.91/293.99 c 4440 18801 2629533 91588 0 1350 13 14 12 294.61/294.63 c 4450 18834 2634476 91753 0 1354 11 14 11 295.31/295.31 c 4460 18875 2640301 91944 0 1358 12 14 11 296.31/296.30 c 4470 18915 2646149 92143 0 1360 10 15 11 296.91/296.96 c 4480 18956 2652315 92365 0 1364 7 15 11 297.61/297.60 c 4490 18999 2658155 92559 0 1367 13 14 12 298.21/298.22 c 4493 19018 2661036 92625 0 1369 12 14 9 298.81/298.87 c 4500 19049 2665536 92775 0 1373 7 14 10 299.41/299.48 c 4510 19092 2671540 92982 0 1376 13 14 12 300.12/300.14 c 4520 19135 2677403 93178 0 1379 13 14 12 300.71/300.77 c 4530 19178 2683522 93382 0 1383 12 14 12 301.41/301.43 c 4540 19216 2688840 93570 0 1387 8 14 11 302.02/302.10 c 4550 19262 2695387 93808 0 1390 13 14 12 302.71/302.74 c 4560 19305 2701645 94035 0 1392 10 15 11 303.61/303.69 c 4570 19351 2707892 94231 0 1397 12 15 12 304.31/304.34 c 4580 19392 2714038 94438 0 1400 11 14 11 304.91/305.00 c 4590 19433 2720016 94640 0 1403 12 14 12 305.61/305.65 c 4600 19474 2725732 94853 0 1407 11 14 12 306.31/306.33 c 4610 19516 2731502 95064 0 1410 11 14 12 306.91/306.97 c 4620 19549 2736319 95241 0 1411 10 14 11 307.61/307.60 c 4630 19590 2742178 95440 0 1414 12 14 12 308.21/308.26 c 4640 19631 2748027 95652 0 1417 11 14 12 308.81/308.87 c 4650 19674 2754143 95852 0 1420 13 14 12 309.41/309.49 c 4660 19711 2759499 96034 0 1423 11 14 11 310.02/310.10 c 4670 19753 2765508 96245 0 1426 12 14 11 310.71/310.75 c 4680 19798 2772114 96473 0 1428 10 15 11 311.71/311.75 c 4690 19851 2779748 96715 0 1433 12 14 11 312.41/312.40 c 4700 19893 2785857 96919 0 1437 12 14 12 313.02/313.07 c 4710 19937 2792155 97133 0 1439 13 14 12 313.71/313.71 c 4720 19975 2797591 97324 0 1443 12 14 12 314.31/314.33 c 4730 20013 2803178 97506 0 1447 11 14 11 314.91/314.96 c 4740 20058 2809236 97722 0 1451 12 14 12 315.61/315.64 c 4750 20101 2815408 97944 0 1454 7 14 11 316.31/316.30 c 4760 20142 2821312 98130 0 1456 12 14 12 316.91/316.94 c 4770 20186 2827881 98358 0 1460 12 14 12 317.51/317.58 c 4780 20228 2834076 98570 0 1464 12 14 12 318.12/318.19 c 4790 20273 2840486 98783 0 1467 13 14 12 318.81/318.84 c 4800 20324 2847598 98999 0 1469 12 14 11 319.51/319.55 c 4810 20367 2853438 99201 0 1471 12 14 12 320.12/320.14 c 4820 20405 2858605 99400 0 1474 12 14 12 320.71/320.77 c 4830 20447 2864463 99632 0 1477 10 14 12 321.81/321.81 c 4840 20493 2870839 99860 0 1482 8 14 11 322.51/322.50 c 4850 20541 2877561 100102 0 1483 12 14 12 323.21/323.20 c 4860 20589 2884128 100343 0 1485 13 14 12 323.91/323.92 c 4870 20633 2890075 100552 0 1488 12 14 12 324.51/324.59 c 4880 20675 2895816 100749 0 1491 12 14 12 325.21/325.25 c 4890 20717 2901880 100959 0 1493 10 14 12 325.81/325.88 c 4900 20755 2907369 101150 0 1495 12 14 12 326.41/326.46 c 4910 20794 2912890 101342 0 1496 13 14 12 327.12/327.15 c 4920 20832 2918219 101538 0 1500 5 14 11 327.81/327.81 c 4930 20873 2923898 101732 0 1504 13 14 12 328.41/328.44 c 4940 20912 2929238 101921 0 1507 12 14 12 329.02/329.09 c 4950 20953 2935144 102131 0 1510 12 14 12 329.71/329.73 c 4960 20986 2940024 102296 0 1513 9 14 11 330.31/330.35 c 4970 21029 2946105 102503 0 1517 13 14 12 330.91/330.99 c 4980 21073 2952365 102720 0 1519 12 14 12 331.71/331.70 c 4990 21115 2958027 102917 0 1522 12 14 12 332.41/332.46 c 5035 21278 2981490 103832 0 1525 11 14 12 334.91/334.92 c 5631 23415 3269168 115865 0 1529 4 15 13 337.51/337.50 c 6286 25701 3579943 128581 0 1537 9 15 13 341.61/341.63 c 7006 28359 3950805 142792 1 1543 7 16 13 344.21/344.22 c restarts : 521 344.21/344.22 c conflicts : 7508 (22 /sec) 344.21/344.22 c decisions : 30095 (87 /sec) 344.21/344.22 c propagations : 152501 (443 /sec) 344.21/344.22 c root propagations : 0 344.21/344.22 c filter calls : 4198308 (12199 /sec) 344.21/344.22 c useless filter calls : 4132255 (98 %) 344.21/344.22 c 344.21/344.22 c clauses : 1585 344.21/344.22 c SAT propagations : 3627 344.21/344.22 c SAT conflicts : 64 (11 learnts) 344.21/344.22 c Memory used : 95.36 MB 344.21/344.22 c CPU time : 344.152 s 344.21/344.22 344.21/344.22 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15350 MiB free)
memory of node 1: 16384 MiB (15735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266253-1502575789/watcher-4266253-1502575789 -o /tmp/evaluation-result-4266253-1502575789/solver-4266253-1502575789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266253-1502575789.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25288, runsolver pid=25285
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 2.33 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31829824/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=27736 memory=3856 CPUtime=0.1 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 1146 0 0 0 10 0 0 0 20 0 1 0 90666697 28401664 964 33554432000 4194304 5972588 140729304389792 140729304386440 5389236 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 6934 964 715 435 0 297 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27736 KiB
Current children cumulated memory: 3856 KiB
[startup+0.209921 s]*
/proc/loadavg: 2.33 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31829080/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=28456 memory=4576 CPUtime=0.21 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 1382 0 0 0 21 0 0 0 20 0 1 0 90666697 29138944 1144 33554432000 4194304 5972588 140729304389792 140729304386440 140551018933221 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 7114 1144 715 435 0 477 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28456 KiB
Current children cumulated memory: 4576 KiB
[startup+0.309297 s]*
/proc/loadavg: 2.33 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31828336/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=29368 memory=5144 CPUtime=0.31 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 1648 0 0 0 31 0 0 0 20 0 1 0 90666697 30072832 1286 33554432000 4194304 5972588 140729304389792 140729304386440 5675852 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 7342 1286 715 435 0 705 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29368 KiB
Current children cumulated memory: 5144 KiB
[startup+0.700315 s]
/proc/loadavg: 2.33 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31826440/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=32248 memory=7864 CPUtime=0.69 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 2494 0 0 0 69 0 0 0 20 0 1 0 90666697 33021952 1966 33554432000 4194304 5972588 140729304389792 140729304386440 5370842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 8062 1966 715 435 0 1425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32248 KiB
Current children cumulated memory: 7864 KiB
[startup+1.5005 s]
/proc/loadavg: 2.33 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31764428/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69232 CPUtime=1.49 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 18382 0 0 0 146 3 0 0 20 0 1 0 90666697 99983360 17308 33554432000 4194304 5972588 140729304389792 140729304387016 4934287 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17308 758 435 0 17773 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69232 KiB
[startup+3.10957 s]
/proc/loadavg: 2.33 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31764116/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69276 CPUtime=3.1 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 34863 0 0 0 306 4 0 0 20 0 1 0 90666697 99983360 17319 33554432000 4194304 5972588 140729304389792 140729304387096 4935482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17319 769 435 0 17773 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69276 KiB
[startup+6.30041 s]
/proc/loadavg: 2.30 2.20 2.11 3/188 25289
/proc/meminfo: memFree=31764116/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69276 CPUtime=6.29 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 51341 0 0 0 624 5 0 0 20 0 1 0 90666697 99983360 17319 33554432000 4194304 5972588 140729304389792 140729304387096 4935478 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17319 769 435 0 17773 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69276 KiB
[startup+12.7005 s]
/proc/loadavg: 2.28 2.19 2.11 3/188 25289
/proc/meminfo: memFree=31764352/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69276 CPUtime=12.69 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 67827 0 0 0 1264 5 0 0 20 0 1 0 90666697 99983360 17319 33554432000 4194304 5972588 140729304389792 140729304387096 4936000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17319 769 435 0 17773 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69276 KiB
[startup+25.5005 s]
/proc/loadavg: 2.22 2.18 2.11 3/188 25289
/proc/meminfo: memFree=31764476/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69300 CPUtime=25.49 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 100795 0 0 0 2543 6 0 0 20 0 1 0 90666697 99983360 17325 33554432000 4194304 5972588 140729304389792 140729304387096 4935681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17325 774 435 0 17773 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69300 KiB
[startup+51.1096 s]
/proc/loadavg: 2.14 2.17 2.11 3/188 25289
/proc/meminfo: memFree=31764352/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69304 CPUtime=51.11 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 117281 0 0 0 5103 8 0 0 20 0 1 0 90666697 99983360 17326 33554432000 4194304 5972588 140729304389792 140729304387096 4935456 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17326 774 435 0 17773 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69304 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.14 2.10 3/187 25290
/proc/meminfo: memFree=31764296/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69308 CPUtime=102.29 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 133775 0 0 0 10221 8 0 0 20 0 1 0 90666697 99983360 17327 33554432000 4194304 5972588 140729304389792 140729304387096 4935493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17327 774 435 0 17773 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69308 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.12 2.10 2/184 25383
/proc/meminfo: memFree=31824744/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69320 CPUtime=162.29 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 134436 0 0 0 16221 8 0 0 20 0 1 0 90666697 99983360 17330 33554432000 4194304 5972588 140729304389792 140729304387096 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17330 774 435 0 17773 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69320 KiB
[startup+222.3 s]
/proc/loadavg: 2.50 2.22 2.14 3/187 25415
/proc/meminfo: memFree=29918372/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69336 CPUtime=222.3 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135103 0 0 0 22222 8 0 0 20 0 1 0 90666697 99983360 17334 33554432000 4194304 5972588 140729304389792 140729304387096 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17334 774 435 0 17773 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69336 KiB
[startup+282.3 s]
/proc/loadavg: 2.29 2.21 2.14 3/188 25424
/proc/meminfo: memFree=29917420/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69336 CPUtime=282.31 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135109 0 0 0 28222 9 0 0 20 0 1 0 90666697 99983360 17334 33554432000 4194304 5972588 140729304389792 140729304387096 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17334 774 435 0 17773 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69336 KiB
[startup+342.3 s]
/proc/loadavg: 2.11 2.17 2.13 3/189 25451
/proc/meminfo: memFree=29915668/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69380 CPUtime=342.31 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135782 0 0 0 34222 9 0 0 20 0 1 0 90666697 99983360 17345 33554432000 4194304 5972588 140729304389792 140729304387096 4935478 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17345 774 435 0 17773 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69380 KiB
[startup+344.228 s]
# the end of solver process 25288 was just reported to runsolver
# cumulated CPU time of all completed processes: user=344.152 s, system=0.092005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+342.4 s]
/proc/loadavg: 2.11 2.17 2.13 3/189 25451
/proc/meminfo: memFree=29915668/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69380 CPUtime=342.41 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135782 0 0 0 34232 9 0 0 20 0 1 0 90666697 99983360 17345 33554432000 4194304 5972588 140729304389792 140729304387096 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17345 774 435 0 17773 0
Current children cumulated CPU time: 342.41 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69380 KiB
[startup+343.2 s]
/proc/loadavg: 2.11 2.17 2.13 3/189 25452
/proc/meminfo: memFree=29915916/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69380 CPUtime=343.21 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135782 0 0 0 34312 9 0 0 20 0 1 0 90666697 99983360 17345 33554432000 4194304 5972588 140729304389792 140729304387096 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17345 774 435 0 17773 0
Current children cumulated CPU time: 343.21 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69380 KiB
[startup+344 s]*
/proc/loadavg: 2.11 2.17 2.13 3/189 25452
/proc/meminfo: memFree=29915916/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69380 CPUtime=344.02 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135782 0 0 0 34393 9 0 0 20 0 1 0 90666697 99983360 17345 33554432000 4194304 5972588 140729304389792 140729304387096 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17345 774 435 0 17773 0
Current children cumulated CPU time: 344.02 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69380 KiB
[startup+344.2 s]
/proc/loadavg: 2.11 2.17 2.13 3/189 25452
/proc/meminfo: memFree=29915916/32770624 swapFree=67108860/67108860
[pid=25288] ppid=25285 vsize=97640 memory=69380 CPUtime=344.21 cores=1,3,5,7
/proc/25288/stat : 25288 (cosoco) R 25285 25288 23522 0 -1 4202496 135782 0 0 0 34412 9 0 0 20 0 1 0 90666697 99983360 17345 33554432000 4194304 5972588 140729304389792 140729304387096 4935493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20021248 140729304396986 140729304397086 140729304397086 140729304399822 0
/proc/25288/statm: 24410 17345 774 435 0 17773 0
Current children cumulated CPU time: 344.21 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 69380 KiB
Child status: 0
Real time (s): 344.228
CPU time (s): 344.244
CPU user time (s): 344.152
CPU system time (s): 0.092005
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 97640
Max. memory (cumulated for all children) (KiB): 69380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.152
system time used= 0.092005
maximum resident set size= 69472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 161
# summary of solver processes directly reported to runsolver:
# pid: 25288
# total CPU time (s): 344.244
# total CPU user time (s): 344.152
# total CPU system time (s): 0.092005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45191 second user time and 2.59482 second system time
The end
Begin job on node112 at 2017-08-12 23:55:31 IDJOB=4266253 IDBENCH=125997 IDSOLVER=2655 FILE ID=node112/4266253-1502575789 RUNJOBID= node112-1502567254-23607 PBS_JOBID= 20628283 Free space on /tmp= 61784 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-24.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266253-1502575789/watcher-4266253-1502575789 -o /tmp/evaluation-result-4266253-1502575789/solver-4266253-1502575789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266253-1502575789.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 12e2e274c64cbf9c8a04283668281b9c RANDOM SEED=309449384 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31832596 kB MemAvailable: 31938712 kB Buffers: 80032 kB Cached: 325720 kB SwapCached: 0 kB Active: 413240 kB Inactive: 111172 kB Active(anon): 68212 kB Inactive(anon): 78228 kB Active(file): 345028 kB Inactive(file): 32944 kB Unevictable: 6280 kB Mlocked: 6280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4964 kB Writeback: 0 kB AnonPages: 132980 kB Mapped: 44108 kB Shmem: 25224 kB Slab: 113460 kB SReclaimable: 87960 kB SUnreclaim: 25500 kB KernelStack: 3584 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 422284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61784 MiB End job on node112 at 2017-08-13 00:01:15