| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | UNSAT | 321.70401 | 321.72 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-06.xml |
| MD5SUM | c11db23a97f48af6ae936ba62121dffc |
| 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 | 13.1703 |
| 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 | 106 |
| Maximum variable degree | 123 |
| Distribution of variable degrees | [{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"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.88/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-4266252-1502575788.xml 1.29/1.36 c ========================================[ Problem Statistics ]=========================================== 1.29/1.36 c | 1.29/1.36 c | Parse time : 0.91 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: 57819..57819) -- (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 40 5126 170 0 4 13 15 13 2.10/2.19 c 20 79 10269 356 0 5 11 14 12 2.69/2.76 c 30 120 16115 564 0 8 11 14 11 3.29/3.32 c 40 157 21395 753 0 11 12 14 12 3.79/3.87 c 50 197 27276 944 0 14 12 14 12 4.39/4.44 c 60 232 32352 1124 0 15 11 14 11 5.00/5.03 c 70 272 37742 1308 0 18 11 15 12 5.59/5.61 c 80 318 43886 1514 0 20 13 14 12 6.19/6.20 c 90 355 48969 1686 0 23 12 14 12 6.79/6.84 c 100 396 54371 1879 0 26 12 14 12 7.39/7.48 c 101 406 55675 1898 0 27 10 10 5 8.10/8.11 c 110 443 60841 2083 0 29 10 14 11 8.69/8.74 c 120 481 66172 2258 0 33 12 14 12 9.39/9.41 c 130 526 72252 2482 0 36 13 14 12 10.00/10.06 c 140 574 78573 2737 0 40 13 15 12 10.59/10.66 c 150 613 83899 2948 0 41 10 14 12 11.19/11.27 c 160 655 89388 3160 0 44 13 15 12 11.89/11.91 c 170 695 95042 3364 0 46 12 14 12 12.49/12.57 c 180 737 100645 3543 0 49 12 14 12 13.19/13.26 c 190 777 106059 3746 0 51 12 14 12 13.89/13.94 c 200 819 111811 3938 0 55 8 14 11 14.59/14.60 conflict 12lvl : 13 bt12-11:0(13)X891 14.59/14.62 c 210 853 116848 4107 0 60 8 14 11 15.19/15.26 c 211 861 117905 4128 0 61 8 8 4 15.89/15.90 c 220 898 122953 4283 0 64 11 14 11 16.49/16.57 c 230 939 129022 4477 0 66 12 14 12 17.19/17.28 c 240 982 134911 4678 0 69 7 14 11 17.89/17.95 c 250 1023 140705 4860 0 73 12 14 12 18.59/18.61 c 260 1069 146788 5082 0 77 13 15 12 19.19/19.29 c 270 1115 152845 5287 0 80 13 14 12 19.89/19.92 c 280 1155 158377 5478 0 83 13 14 12 20.49/20.55 c 290 1200 164784 5698 0 86 13 14 12 21.19/21.23 c 300 1243 170927 5886 0 89 12 14 12 21.79/21.89 c 310 1290 177433 6110 0 91 13 14 12 22.49/22.55 c 320 1332 183211 6312 0 94 12 14 12 23.19/23.23 c 330 1373 188908 6519 0 97 12 14 12 23.78/23.87 c 332 1387 190960 6552 0 99 12 13 8 24.38/24.49 conflict 9lvl : 12 bt12-9:0(9)X1473 24.48/24.51 c 340 1425 196145 6723 0 101 13 14 12 25.09/25.14 c 350 1467 201970 6930 0 104 12 14 12 25.78/25.81 c 360 1503 206911 7110 0 108 7 15 11 26.38/26.45 c 370 1549 213253 7351 0 112 13 14 12 26.99/27.03 c 380 1590 219200 7549 0 115 11 14 12 27.58/27.64 c 390 1634 225564 7739 0 117 10 15 12 28.28/28.30 c 400 1674 231428 7945 0 121 8 14 11 28.88/28.95 c 410 1718 237658 8156 0 125 12 14 12 29.48/29.55 c 420 1758 243481 8368 0 129 12 14 12 30.18/30.20 c 430 1795 248870 8543 0 132 11 14 11 30.78/30.84 c 440 1835 254733 8740 0 136 12 14 12 31.38/31.45 c 450 1876 260716 8937 0 138 12 14 12 31.99/32.09 c 460 1914 266253 9118 0 140 12 14 12 32.68/32.70 c 465 1939 269768 9213 0 143 12 14 11 33.18/33.29 c 470 1963 273309 9319 0 144 12 14 11 33.88/33.90 c 480 2000 278744 9509 0 148 11 14 11 34.48/34.55 c 490 2042 285068 9718 0 151 13 14 12 35.09/35.19 c 500 2085 291174 9923 0 155 12 15 12 35.78/35.81 c 510 2131 297717 10151 0 156 13 14 12 36.48/36.50 c 520 2172 303577 10345 0 159 10 14 11 37.09/37.16 c 530 2217 309851 10567 0 162 13 14 12 37.78/37.80 c 540 2256 315227 10760 0 164 11 14 11 38.38/38.44 c 550 2300 321418 10978 0 168 13 14 12 38.99/39.06 c 560 2340 327212 11179 0 171 12 14 12 39.58/39.67 c 570 2381 332937 11371 0 174 11 14 12 40.19/40.26 c 580 2428 339580 11591 0 177 13 14 12 40.79/40.89 conflict 7lvl : 10 bt10-25:0(7)X2496 40.89/40.94 c 590 2476 346085 11836 0 180 13 14 12 41.49/41.55 c 600 2524 352801 12077 0 181 13 14 12 42.10/42.14 c 610 2562 358185 12260 0 184 13 15 12 42.69/42.79 c 611 2576 359979 12302 0 185 14 14 7 43.39/43.45 c 620 2611 365143 12467 0 188 12 14 11 44.00/44.08 c 630 2649 370791 12651 0 192 11 15 11 44.59/44.69 c 640 2687 376422 12837 0 195 10 14 11 45.29/45.34 c 650 2737 383386 13065 0 198 13 14 12 45.89/45.95 c 660 2777 388998 13254 0 202 12 14 12 46.59/46.60 c 670 2812 394039 13455 0 206 7 14 11 47.19/47.28 c 680 2858 400474 13673 0 208 12 14 12 47.89/47.94 c 690 2905 406826 13892 0 212 13 14 12 48.59/48.61 c 700 2950 413435 14105 0 215 12 14 12 49.29/49.30 c 710 2995 419712 14324 0 218 13 14 12 49.89/49.92 c 720 3030 424749 14490 0 221 10 14 11 50.49/50.52 c 730 3067 429995 14670 0 225 11 14 12 51.09/51.12 c 740 3106 435735 14851 0 228 10 14 11 51.69/51.72 c 750 3147 441401 15040 0 231 12 14 12 52.19/52.29 c 760 3193 447936 15260 0 234 12 14 12 52.89/52.93 c 770 3237 454164 15466 0 237 11 14 12 53.49/53.52 c 771 3250 456143 15504 0 238 13 13 6 54.09/54.13 c 780 3293 461916 15700 0 241 13 14 12 54.69/54.76 c 790 3335 467580 15902 0 244 13 14 12 55.29/55.37 c 800 3379 473805 16098 0 246 13 15 12 55.99/56.05 c 810 3422 479885 16298 0 248 11 14 12 56.59/56.63 c 820 3462 485560 16520 0 252 12 14 12 57.19/57.25 c 830 3502 490942 16709 0 254 11 14 12 57.79/57.81 c 840 3539 496251 16896 0 256 11 15 12 58.49/58.50 c 850 3581 501827 17092 0 259 11 14 12 58.99/59.09 c 860 3627 508198 17302 0 263 12 14 12 59.69/59.73 c 870 3667 513834 17508 0 265 11 14 12 60.29/60.32 c 880 3702 519348 17701 0 266 10 14 11 60.99/61.05 c 890 3750 526005 17942 0 270 12 14 12 61.59/61.70 c 900 3794 532537 18159 0 273 13 14 12 62.29/62.35 c 910 3836 538550 18385 0 276 11 14 12 62.89/62.94 c 920 3875 544420 18589 0 279 11 14 11 63.49/63.55 c 930 3922 550579 18816 0 283 13 14 12 64.09/64.15 c 940 3965 557185 19033 0 287 12 14 12 64.69/64.77 c 947 3999 562026 19198 0 289 10 14 11 65.39/65.41 c 950 4020 565076 19269 0 291 13 14 10 65.89/66.00 conflict 7lvl : 8 bt8-1:0(7)X3961 65.99/66.07 -> -1:X(7)c 960 4068 572145 19495 0 294 13 14 12 66.59/66.66 conflict 6lvl : 9 bt8-1:0(7)X4008 66.59/66.69 c 970 4113 579006 19716 0 297 12 14 12 67.29/67.33 c 980 4155 585207 19934 0 300 10 14 12 67.89/67.92 conflict 7lvl : 11 bt11-1:0(7)X4095 67.89/67.94 c 990 4200 591656 20149 0 303 13 14 12 68.49/68.54 c 1000 4237 597256 20332 0 307 11 14 11 69.19/69.22 c 1010 4282 604378 20559 0 309 11 14 11 69.79/69.80 conflict 6lvl : 8 bt8-25:0(6)X4221 69.89/69.96 -> -25:X(6)c 1020 4326 610810 20778 0 311 12 14 12 70.49/70.58 c 1030 4367 616765 20993 0 314 12 15 12 71.19/71.23 c 1040 4412 622803 21217 0 317 13 14 12 71.79/71.80 c 1050 4452 628504 21424 0 320 12 14 12 72.39/72.46 c 1060 4493 634428 21613 0 322 10 14 12 73.00/73.05 c 1070 4532 639887 21804 0 325 12 14 12 73.59/73.65 c 1080 4570 645154 21974 0 328 12 14 12 74.19/74.30 c 1090 4611 650790 22164 0 332 12 14 12 74.79/74.89 c 1100 4658 657355 22384 0 335 13 14 12 75.39/75.47 c 1110 4702 663657 22588 0 337 10 15 12 76.10/76.15 c 1120 4751 670366 22830 0 339 13 14 12 76.69/76.78 c 1130 4789 675697 23032 0 343 8 14 11 77.39/77.48 c 1140 4836 682431 23250 0 345 12 14 12 78.00/78.06 c 1141 4850 684367 23284 0 346 14 14 7 78.59/78.62 conflict 9lvl : 11 bt11-9:0(9)X4690 78.59/78.64 c 1150 4888 690157 23475 0 349 13 14 11 79.39/79.40 c 1160 4938 697544 23726 0 352 10 15 12 80.00/80.03 c 1170 4981 703921 23940 0 355 12 14 12 80.59/80.65 c 1180 5027 710483 24166 0 357 13 14 12 81.19/81.29 c 1190 5074 717379 24388 0 359 13 14 12 82.00/82.02 c 1200 5124 724295 24623 0 361 13 14 12 82.59/82.64 c 1210 5164 729954 24795 0 365 12 14 12 83.19/83.26 c 1220 5206 736096 25001 0 368 13 14 12 83.79/83.89 c 1230 5248 742197 25189 0 370 10 14 12 84.39/84.49 c 1240 5288 747706 25363 0 372 12 14 12 85.19/85.26 c 1250 5334 753895 25578 0 375 12 14 12 85.79/85.87 c 1260 5374 759882 25783 0 379 12 14 12 86.49/86.51 c 1270 5420 766156 25973 0 383 13 14 12 87.10/87.13 conflict 9lvl : 12 bt12-11:0(9)X5167 87.10/87.17 -> -11:X(9)c 1280 5476 774105 26212 0 385 13 15 12 87.69/87.78 c 1290 5517 779962 26412 0 388 12 15 12 88.39/88.41 c 1300 5555 785337 26607 0 389 10 14 11 89.00/89.08 c 1310 5595 791087 26812 0 393 12 14 12 89.69/89.71 c 1320 5636 796784 27003 0 396 13 14 12 90.29/90.37 c 1330 5677 802891 27204 0 400 12 14 12 91.00/91.04 c 1340 5719 808944 27403 0 403 12 14 12 91.59/91.65 c 1350 5765 815727 27636 0 406 13 15 12 92.19/92.29 c 1352 5783 818609 27702 0 408 13 13 8 92.89/92.91 c 1360 5819 823864 27869 0 412 13 14 12 93.49/93.54 c 1370 5865 830438 28100 0 416 12 14 12 94.10/94.18 c 1380 5905 836537 28295 0 419 12 14 11 94.79/94.85 conflict 7lvl : 9 bt9-37:0(7)X5649 94.79/94.87 c 1390 5943 842096 28492 0 424 5 14 11 95.49/95.50 c 1400 5987 848459 28699 0 428 12 14 12 96.10/96.11 c 1410 6029 854626 28913 0 430 13 14 12 96.69/96.74 c 1420 6067 860193 29114 0 433 6 14 11 97.29/97.38 c 1430 6109 866494 29331 0 437 12 14 12 97.89/97.97 c 1440 6149 872312 29514 0 440 13 14 12 98.49/98.58 c 1450 6190 878237 29717 0 442 12 14 12 99.19/99.20 c 1460 6231 884248 29919 0 445 8 14 11 99.79/99.84 c 1470 6278 890824 30132 0 450 13 14 12 100.39/100.45 c 1480 6320 896985 30335 0 452 12 14 12 101.00/101.05 c 1490 6358 902682 30541 0 455 11 14 11 101.59/101.62 c 1500 6398 908843 30730 0 458 11 14 12 102.19/102.25 c 1510 6441 915279 30936 0 462 11 14 11 102.79/102.85 c 1520 6484 921403 31123 0 465 13 15 12 103.39/103.44 conflict 6lvl : 8 bt8-37:0(6)X6240 103.49/103.53 -> -37:X(6)c 1530 6527 927760 31329 0 467 10 14 12 104.10/104.15 c 1540 6562 932638 31506 0 470 7 14 11 104.69/104.71 c 1550 6603 938596 31692 0 473 13 14 12 105.29/105.30 c 1560 6645 944272 31882 0 475 12 14 12 105.79/105.89 c 1570 6685 950146 32077 0 477 12 14 12 106.39/106.45 c 1580 6724 955824 32262 0 481 12 14 12 106.89/107.00 c 1585 6751 959827 32387 0 483 13 14 11 107.49/107.55 c 1590 6776 963301 32479 0 486 13 15 11 108.10/108.16 c 1600 6820 969210 32701 0 489 13 14 12 108.69/108.78 c 1610 6865 975939 32922 0 492 12 14 12 109.29/109.34 c 1620 6900 980834 33085 0 495 9 14 11 109.89/109.91 c 1630 6939 986445 33278 0 499 9 14 11 110.49/110.55 c 1640 6987 993237 33503 0 502 13 14 12 111.10/111.14 c 1650 7028 999091 33712 0 503 12 14 12 111.69/111.70 c 1660 7074 1005544 33935 0 505 13 14 12 112.19/112.23 c 1670 7114 1011135 34112 0 508 12 15 12 112.79/112.85 c 1680 7165 1018375 34363 0 510 13 14 12 113.29/113.39 c 1690 7210 1024877 34597 0 512 12 14 12 113.89/113.98 c 1700 7250 1030603 34785 0 514 12 14 12 114.48/114.53 c 1710 7289 1035880 34964 0 517 12 14 12 114.99/115.09 c 1720 7329 1041664 35165 0 521 12 14 11 115.58/115.64 c 1730 7371 1047304 35375 0 524 11 14 12 116.18/116.21 c 1740 7417 1053572 35575 0 527 13 14 12 116.78/116.84 c 1750 7465 1060274 35803 0 531 13 14 12 117.38/117.40 c 1760 7502 1065552 35991 0 532 11 14 12 117.99/118.06 c 1770 7546 1072088 36201 0 535 11 14 12 118.58/118.64 c 1780 7586 1077839 36366 0 538 11 14 12 119.09/119.19 c 1790 7629 1084070 36587 0 541 12 14 12 119.68/119.76 c 1800 7670 1089835 36772 0 544 12 14 12 120.18/120.29 c 1810 7706 1095179 36939 0 547 11 14 12 120.78/120.87 c 1820 7746 1101366 37144 0 549 12 14 12 121.38/121.41 c 1830 7789 1107331 37330 0 551 13 14 12 121.88/121.97 c 1840 7837 1114222 37567 0 554 13 14 12 122.48/122.53 c 1841 7850 1116257 37601 0 555 13 13 6 122.99/123.09 c 1850 7886 1121582 37772 0 558 12 14 12 123.58/123.65 c 1860 7930 1128148 37997 0 562 13 14 12 124.09/124.16 conflict 6lvl : 10 bt10-3:0(6)X7482 124.09/124.18 c 1870 7972 1134015 38187 0 564 13 15 12 124.68/124.74 c 1880 8014 1140415 38393 0 566 13 14 12 125.18/125.29 c 1890 8058 1146786 38610 0 569 11 15 12 125.78/125.84 c 1900 8100 1152777 38805 0 573 12 14 12 126.28/126.38 c 1910 8139 1158343 38986 0 575 10 14 12 126.88/126.92 c 1920 8177 1164122 39169 0 578 12 14 12 127.48/127.58 c 1930 8223 1170211 39372 0 581 13 14 12 128.09/128.14 c 1940 8267 1176388 39579 0 584 13 14 12 128.68/128.72 c 1950 8314 1183210 39813 0 588 13 14 12 129.28/129.34 c 1960 8361 1190166 40039 0 592 12 15 12 129.78/129.86 c 1970 8401 1196060 40237 0 595 11 14 11 130.38/130.43 c 1980 8439 1201471 40403 0 599 11 14 11 130.99/131.01 c 1990 8485 1207482 40620 0 602 13 14 12 131.48/131.53 c 2000 8525 1213361 40802 0 606 12 14 11 131.99/132.10 c 2010 8561 1218528 40993 0 610 6 14 11 132.58/132.63 c 2020 8599 1223737 41166 0 614 12 14 12 133.18/133.24 c 2030 8643 1230008 41359 0 616 12 15 12 133.78/133.87 c 2040 8684 1235672 41578 0 620 6 15 11 134.38/134.44 c 2050 8725 1241607 41764 0 622 10 14 12 134.99/135.02 c 2060 8771 1248130 41966 0 624 13 14 12 135.48/135.54 c 2070 8812 1253677 42175 0 626 13 14 12 136.09/136.12 c 2080 8853 1259751 42361 0 629 11 14 11 136.58/136.67 c 2090 8890 1264896 42542 0 631 12 14 12 137.18/137.21 c 2100 8926 1269698 42710 0 634 11 14 12 137.68/137.76 c 2110 8969 1275505 42925 0 637 13 14 12 138.18/138.28 c 2120 9010 1281229 43133 0 639 10 14 11 138.78/138.81 c 2122 9025 1283327 43184 0 640 13 14 9 139.28/139.37 c 2130 9057 1287752 43315 0 643 12 14 11 139.88/139.92 c 2140 9095 1293099 43509 0 645 12 14 12 140.38/140.47 c 2150 9135 1298727 43705 0 649 12 14 12 141.18/141.22 c 2160 9180 1304871 43892 0 651 11 14 12 141.78/141.80 c 2170 9224 1310740 44094 0 654 13 15 12 142.28/142.35 c 2180 9265 1316467 44287 0 657 11 14 12 142.78/142.87 c 2190 9304 1322040 44472 0 660 12 14 12 143.58/143.61 c 2200 9351 1328512 44657 0 663 13 15 12 144.09/144.15 c 2210 9389 1333875 44850 0 667 7 14 11 144.68/144.77 c 2220 9433 1340035 45058 0 671 12 14 12 145.48/145.52 c 2230 9466 1344990 45241 0 675 3 14 10 145.99/146.06 conflict 9lvl : 11 bt11-3:0(9)X8924 145.99/146.08 c 2240 9508 1350727 45427 0 678 12 14 12 146.78/146.82 c 2250 9548 1356567 45571 0 682 10 14 11 147.28/147.36 c 2260 9591 1362634 45773 0 684 13 15 12 147.88/147.94 c 2270 9630 1367933 45954 0 687 12 14 12 148.68/148.72 c 2280 9676 1374143 46152 0 689 12 14 12 149.18/149.25 c 2290 9714 1379566 46346 0 693 8 14 11 149.78/149.84 conflict 4lvl : 10 bt10-29:0(4)X9158 149.99/150.06 c 2300 9763 1386321 46552 0 696 13 15 12 150.68/150.70 c 2310 9800 1391818 46734 0 698 12 14 11 151.28/151.30 c 2320 9840 1397901 46936 0 700 11 14 12 151.99/152.07 c 2330 9882 1403906 47098 0 705 10 14 11 152.58/152.65 c 2340 9923 1409762 47308 0 708 12 14 12 153.18/153.26 c 2350 9964 1415726 47521 0 710 10 14 11 153.78/153.80 conflict 4lvl : 12 bt12-29:0(4)X9368 153.99/154.02 c 2360 10005 1421706 47683 0 712 9 14 11 154.48/154.59 c 2370 10046 1427506 47862 0 716 13 14 12 155.09/155.15 c 2380 10084 1432925 48048 0 720 11 14 12 155.68/155.72 conflict 8lvl : 12 bt12-3:0(8)X9502 155.68/155.73 c 2390 10129 1439571 48230 0 724 13 15 12 156.48/156.52 c 2400 10169 1445499 48435 0 728 3 14 11 157.09/157.13 c 2410 10211 1451290 48630 0 731 12 14 12 157.68/157.73 c 2420 10255 1457963 48869 0 735 12 14 12 158.18/158.28 c 2430 10297 1464114 49087 0 738 11 14 12 158.78/158.84 c 2431 10310 1466086 49116 0 739 13 13 6 159.38/159.42 c 2440 10350 1471990 49303 0 742 11 14 11 159.88/159.99 c 2450 10394 1478413 49523 0 745 13 14 12 160.48/160.53 c 2460 10433 1484153 49733 0 748 10 14 11 160.99/161.10 c 2470 10478 1490269 49935 0 752 13 14 12 161.58/161.68 c 2480 10516 1495732 50111 0 754 10 15 12 162.18/162.26 c 2490 10555 1501454 50296 0 757 12 14 12 162.78/162.84 c 2500 10598 1507872 50506 0 759 10 14 12 163.38/163.40 c 2510 10641 1514166 50694 0 761 12 15 12 163.88/163.96 c 2520 10680 1519610 50884 0 764 10 14 12 164.48/164.59 c 2530 10727 1526314 51125 0 768 12 14 12 165.09/165.14 c 2540 10765 1531783 51315 0 769 10 14 11 165.68/165.76 c 2550 10811 1538470 51527 0 772 13 14 12 166.28/166.34 c 2560 10857 1545125 51747 0 775 12 14 12 166.88/166.93 c 2570 10894 1550591 51924 0 778 11 14 11 167.38/167.48 c 2580 10935 1556384 52125 0 781 11 14 12 167.98/168.05 c 2590 10972 1562090 52310 0 784 11 14 11 168.58/168.62 c 2600 11012 1567940 52504 0 787 12 14 12 169.09/169.19 c 2610 11054 1574019 52711 0 789 13 14 12 169.68/169.79 c 2620 11100 1580824 52920 0 792 13 14 12 170.28/170.38 c 2630 11146 1587407 53128 0 796 13 14 12 170.88/170.99 c 2640 11197 1594627 53376 0 799 13 14 12 171.48/171.54 c 2650 11239 1600617 53566 0 801 13 14 12 172.08/172.12 c 2660 11284 1607065 53794 0 805 12 14 12 172.58/172.70 c 2670 11322 1612808 53983 0 808 12 14 11 173.18/173.27 c 2680 11365 1618937 54182 0 811 12 14 12 173.78/173.85 c 2690 11409 1625530 54407 0 814 11 15 12 174.38/174.41 c 2700 11452 1631496 54608 0 817 10 14 12 174.88/174.98 c 2710 11494 1637608 54826 0 820 13 14 12 175.48/175.55 c 2720 11536 1643631 55033 0 824 12 14 12 176.08/176.17 c 2730 11582 1649854 55247 0 827 12 14 12 176.68/176.79 c 2740 11629 1656499 55480 0 829 12 15 12 177.38/177.40 c 2750 11680 1663582 55711 0 832 13 14 12 177.98/178.01 c 2760 11724 1670114 55931 0 834 12 15 12 178.48/178.56 c 2770 11762 1675551 56100 0 838 11 14 12 178.98/179.10 c 2771 11774 1677468 56123 0 839 12 12 6 179.68/179.70 c 2780 11813 1683003 56315 0 842 12 15 12 180.38/180.47 c 2790 11851 1688612 56430 0 847 8 14 10 181.28/181.31 c 2800 11889 1694214 56561 0 849 8 14 10 181.78/181.86 conflict 8lvl : 12 bt12-11:0(8)X11145 181.78/181.87 c 2810 11928 1700243 56741 0 852 12 14 12 182.38/182.45 c 2820 11976 1707158 56961 0 857 13 15 12 182.87/182.98 c 2830 12021 1713740 57177 0 860 13 14 12 183.47/183.51 c 2840 12060 1719257 57379 0 864 11 14 12 183.98/184.07 c 2850 12101 1725066 57583 0 866 11 14 12 184.57/184.67 c 2860 12141 1730912 57779 0 869 11 15 12 185.17/185.23 c 2870 12181 1736759 57978 0 872 12 15 12 185.77/185.81 c 2880 12220 1742271 58162 0 876 8 14 11 186.27/186.38 c 2890 12267 1749556 58386 0 879 13 14 12 186.87/186.93 c 2900 12312 1755965 58611 0 881 12 14 12 187.37/187.46 c 2910 12350 1761500 58800 0 883 12 15 12 187.98/188.02 c 2920 12390 1767154 58980 0 886 11 14 11 188.47/188.58 c 2930 12428 1772601 59171 0 888 11 14 11 189.08/189.16 c 2940 12466 1778039 59359 0 890 13 14 12 189.67/189.74 c 2950 12509 1783974 59587 0 893 12 15 12 190.27/190.31 c 2960 12548 1789518 59775 0 896 12 14 12 190.77/190.86 c 2970 12589 1795162 59983 0 899 12 14 12 191.37/191.40 c 2980 12629 1800933 60183 0 902 11 14 12 191.87/191.92 c 2990 12667 1806485 60381 0 905 11 14 12 192.37/192.48 c 3000 12708 1812530 60572 0 908 12 14 12 192.98/193.06 c 3010 12750 1818602 60762 0 912 12 14 12 193.57/193.64 c 3020 12787 1824121 60952 0 914 10 14 11 194.17/194.20 c 3030 12830 1830369 61175 0 917 11 14 12 194.67/194.73 c 3040 12869 1836315 61365 0 920 12 14 12 195.17/195.27 c 3050 12908 1842075 61564 0 922 13 14 12 195.77/195.82 c 3060 12952 1848611 61756 0 924 12 14 12 196.27/196.37 c 3070 12992 1854401 61942 0 927 12 14 12 196.87/196.93 c 3080 13033 1860197 62132 0 929 12 15 12 197.47/197.57 c 3090 13076 1866259 62321 0 932 11 14 12 198.08/198.17 c 3100 13118 1872355 62523 0 935 13 14 12 198.67/198.74 c 3110 13156 1878054 62727 0 937 12 14 12 199.27/199.31 c 3120 13193 1883367 62926 0 939 11 14 12 199.87/199.91 c 3130 13242 1890386 63140 0 941 11 14 12 200.37/200.45 c 3140 13280 1896062 63336 0 943 12 14 12 200.98/201.01 c 3142 13295 1898278 63382 0 944 13 14 9 201.47/201.59 c 3150 13334 1904426 63581 0 946 13 15 12 202.08/202.19 c 3160 13374 1910157 63771 0 949 11 14 12 202.67/202.77 c 3170 13417 1915793 63968 0 952 12 14 12 203.27/203.32 c 3180 13456 1921155 64156 0 955 12 14 12 203.77/203.87 c 3190 13500 1927641 64380 0 959 13 14 12 204.37/204.44 c 3200 13544 1933888 64585 0 963 13 15 12 204.87/204.97 c 3210 13581 1938884 64773 0 966 7 14 11 205.47/205.50 c 3220 13619 1944381 64956 0 969 12 14 12 205.98/206.02 c 3230 13661 1950273 65167 0 972 13 15 12 206.47/206.58 c 3240 13703 1956499 65384 0 975 11 14 11 207.08/207.17 c 3250 13745 1962213 65569 0 977 13 14 12 207.77/207.82 c 3260 13792 1969022 65804 0 979 13 14 12 208.27/208.38 c 3270 13839 1976062 66043 0 980 13 14 12 208.87/208.96 c 3280 13886 1982809 66268 0 983 13 15 12 209.47/209.54 c 3290 13925 1988757 66475 0 986 12 14 12 209.98/210.08 c 3300 13965 1994747 66667 0 988 12 14 12 210.57/210.61 c 3310 14005 2000430 66856 0 993 12 14 12 211.17/211.20 c 3320 14049 2006691 67069 0 997 12 14 12 211.67/211.77 c 3330 14090 2012550 67279 0 1002 8 14 11 212.27/212.34 c 3340 14126 2017496 67458 0 1005 7 14 11 212.87/212.98 c 3350 14174 2024323 67667 0 1007 12 15 12 213.57/213.62 c 3360 14226 2031319 67892 0 1010 12 15 12 214.08/214.14 c 3370 14263 2036387 68086 0 1013 12 14 12 214.57/214.67 c 3380 14302 2041769 68277 0 1016 12 14 12 215.27/215.30 c 3390 14348 2047925 68478 0 1019 12 14 12 215.87/215.95 c 3400 14390 2054226 68682 0 1022 11 14 11 216.47/216.50 c 3410 14429 2059375 68850 0 1025 13 14 12 216.98/217.04 c 3420 14466 2064573 69030 0 1027 11 14 11 217.47/217.56 c 3430 14506 2070129 69234 0 1029 10 14 12 218.08/218.16 c 3440 14548 2075864 69449 0 1032 13 15 12 218.67/218.71 c 3450 14593 2082445 69687 0 1036 13 14 12 219.27/219.37 c 3460 14640 2089042 69887 0 1040 11 14 12 219.87/219.93 c 3470 14680 2094730 70081 0 1043 12 14 12 220.37/220.49 c 3480 14721 2100569 70281 0 1047 11 14 12 220.98/221.03 c 3490 14762 2106302 70491 0 1051 9 14 12 221.47/221.59 c 3500 14805 2112675 70723 0 1054 11 14 12 222.08/222.13 c 3510 14850 2119466 70944 0 1057 13 15 12 222.57/222.67 c 3520 14894 2125439 71159 0 1060 12 14 12 223.17/223.20 c 3530 14940 2131734 71361 0 1062 13 14 12 223.67/223.74 c 3540 14986 2138255 71586 0 1064 10 14 12 224.17/224.27 c 3550 15024 2143614 71767 0 1067 12 14 12 224.67/224.77 c 3551 15037 2145648 71802 0 1068 13 13 6 225.37/225.45 c 3560 15078 2151360 71995 0 1072 11 14 11 225.87/225.99 c 3570 15117 2156978 72177 0 1074 11 14 12 226.47/226.57 c 3580 15158 2162673 72368 0 1077 12 14 12 227.08/227.14 c 3590 15202 2168586 72574 0 1079 11 14 12 227.57/227.67 c 3600 15243 2174289 72758 0 1082 13 14 12 228.17/228.23 c 3610 15285 2180428 72969 0 1086 12 14 12 228.67/228.79 c 3620 15330 2186681 73161 0 1088 12 14 12 229.27/229.33 c 3630 15368 2191968 73375 0 1090 12 14 12 229.77/229.87 c 3640 15409 2197873 73560 0 1093 13 14 12 230.37/230.40 c 3650 15446 2203155 73744 0 1096 11 14 12 230.87/230.94 c 3660 15490 2209396 73970 0 1100 13 14 12 231.37/231.47 c 3670 15529 2215028 74178 0 1102 12 14 12 231.98/232.04 c 3680 15568 2220457 74350 0 1104 11 14 12 232.57/232.62 c 3690 15610 2226176 74543 0 1107 12 14 12 233.08/233.17 c 3700 15653 2232361 74745 0 1109 12 14 12 233.67/233.74 c 3710 15693 2237760 74937 0 1113 12 14 12 234.27/234.32 c 3720 15734 2243507 75136 0 1116 12 14 12 234.77/234.86 c 3730 15776 2249118 75325 0 1120 13 14 12 235.37/235.44 c 3740 15822 2255371 75546 0 1124 13 14 12 235.87/235.99 c 3750 15865 2261642 75766 0 1126 11 14 12 236.47/236.54 c 3760 15912 2268634 76020 0 1127 12 14 12 236.98/237.10 c 3770 15952 2274749 76204 0 1130 10 14 11 237.57/237.65 c 3780 15995 2280726 76402 0 1134 12 14 12 238.08/238.19 c 3790 16035 2286186 76587 0 1138 12 14 12 238.67/238.71 c 3800 16075 2291705 76783 0 1142 12 14 12 239.17/239.26 c 3810 16120 2298085 77026 0 1144 12 14 12 239.77/239.80 c 3820 16159 2303799 77220 0 1147 11 14 11 240.27/240.38 c 3830 16200 2309838 77399 0 1149 12 14 12 240.87/240.93 c 3840 16238 2315406 77603 0 1152 11 14 12 241.37/241.47 c 3850 16279 2321585 77827 0 1154 13 14 12 241.98/242.03 c 3860 16319 2327487 78020 0 1158 12 14 12 242.47/242.59 c 3870 16359 2333284 78222 0 1162 12 14 12 243.17/243.20 c 3880 16405 2339723 78435 0 1164 12 14 12 243.77/243.82 c 3890 16451 2346028 78651 0 1166 12 14 12 244.37/244.42 c 3900 16494 2351944 78862 0 1169 11 14 12 244.98/245.02 c 3910 16540 2358502 79094 0 1172 12 14 12 245.47/245.54 c 3920 16580 2364174 79285 0 1174 12 14 12 245.98/246.06 c 3930 16625 2370772 79507 0 1178 13 14 12 246.57/246.61 c 3940 16669 2377088 79712 0 1180 13 14 12 247.08/247.15 c 3950 16719 2383887 79958 0 1184 14 14 12 247.57/247.69 c 3960 16762 2389997 80175 0 1187 11 15 12 248.17/248.24 c 3970 16802 2395827 80356 0 1190 8 15 11 248.67/248.76 c 3980 16847 2402403 80588 0 1194 12 14 12 249.27/249.31 c 3990 16890 2408683 80792 0 1197 12 14 12 249.77/249.85 c 4000 16935 2414856 81020 0 1201 13 14 12 250.27/250.39 c 4001 16949 2416913 81058 0 1202 14 14 7 250.98/251.09 c 4010 16995 2423453 81264 0 1205 13 15 12 251.57/251.66 c 4020 17035 2429249 81473 0 1208 10 14 11 252.17/252.25 c 4030 17078 2435289 81678 0 1211 11 14 12 252.77/252.82 c 4040 17121 2441170 81868 0 1215 12 14 12 253.27/253.38 c 4050 17164 2447189 82077 0 1217 12 14 12 253.98/254.06 c 4060 17208 2453135 82264 0 1221 12 14 12 254.57/254.62 c 4070 17247 2459057 82467 0 1223 12 14 12 255.08/255.16 c 4080 17291 2465429 82675 0 1226 13 14 12 255.67/255.80 c 4090 17337 2471963 82908 0 1229 11 14 12 256.27/256.32 c 4100 17380 2478341 83141 0 1232 12 15 12 256.87/256.93 c 4110 17413 2482915 83305 0 1235 5 14 11 257.47/257.50 c 4120 17451 2488512 83492 0 1238 11 14 12 257.98/258.05 c 4130 17492 2494649 83702 0 1241 12 14 12 258.57/258.62 c 4140 17533 2500518 83890 0 1244 12 14 12 259.17/259.25 c 4150 17579 2506821 84117 0 1247 12 14 12 259.77/259.82 c 4160 17622 2513185 84325 0 1250 13 14 12 260.37/260.40 c 4170 17664 2519292 84536 0 1252 11 14 11 260.87/260.92 c 4180 17700 2524216 84703 0 1255 12 14 11 261.37/261.49 c 4190 17747 2531032 84917 0 1258 13 14 12 261.98/262.08 c 4200 17789 2537122 85107 0 1261 12 14 12 262.57/262.62 c 4210 17822 2541920 85276 0 1263 11 14 11 263.08/263.17 c 4220 17861 2547741 85484 0 1265 12 14 12 263.67/263.70 c 4230 17903 2554441 85700 0 1267 13 14 12 264.27/264.35 c 4240 17951 2561234 85937 0 1269 13 14 12 264.77/264.88 c 4250 17992 2566913 86138 0 1272 13 14 12 265.37/265.42 c 4260 18033 2573070 86353 0 1274 11 14 11 265.98/266.01 c 4270 18077 2579562 86577 0 1278 11 14 12 266.47/266.58 c 4280 18119 2585796 86788 0 1281 13 14 12 267.08/267.13 c 4290 18156 2591283 86962 0 1284 11 15 11 267.57/267.68 c 4300 18201 2597743 87167 0 1286 13 14 12 268.17/268.24 c 4310 18238 2603233 87355 0 1290 7 15 11 268.67/268.77 c 4320 18279 2609028 87567 0 1292 12 14 12 269.17/269.29 c 4330 18322 2614839 87770 0 1295 13 14 12 269.77/269.81 c 4340 18365 2621146 87980 0 1298 12 14 12 270.27/270.34 c 4350 18409 2627396 88203 0 1302 11 14 12 270.78/270.88 c 4360 18446 2632623 88381 0 1305 12 14 12 271.38/271.48 c 4370 18486 2638566 88606 0 1308 6 14 11 271.99/272.05 c 4380 18525 2644373 88801 0 1312 12 14 12 272.58/272.65 c 4390 18562 2649981 89008 0 1314 6 14 11 273.18/273.21 c 4400 18602 2655806 89207 0 1316 13 14 12 273.68/273.78 c 4410 18646 2662029 89412 0 1319 12 14 12 274.28/274.33 c 4420 18680 2666883 89579 0 1321 12 14 11 274.78/274.85 c 4430 18719 2672538 89761 0 1324 12 14 12 275.28/275.37 c 4440 18762 2678623 89977 0 1328 12 14 12 275.88/275.92 c 4450 18806 2684745 90176 0 1331 12 15 12 276.68/276.79 c 4460 18853 2691247 90409 0 1335 12 14 11 277.58/277.64 c 4470 18898 2697480 90604 0 1338 11 14 12 278.09/278.20 c 4480 18943 2703875 90805 0 1341 13 14 12 278.68/278.75 c 4490 18985 2709678 91001 0 1344 12 14 12 279.58/279.60 c 4493 19014 2713403 91099 0 1346 14 14 10 280.38/280.46 c 4500 19052 2718873 91257 0 1349 12 14 11 280.99/281.03 c 4510 19094 2724687 91463 0 1352 12 14 12 281.58/281.60 c 4520 19132 2730218 91658 0 1354 12 14 12 282.48/282.53 c 4530 19178 2736910 91887 0 1357 10 14 11 283.09/283.13 c 4540 19219 2742439 92078 0 1360 12 14 12 283.68/283.71 c 4550 19263 2748592 92290 0 1364 13 14 12 284.58/284.63 c 4560 19311 2755301 92513 0 1366 9 15 11 285.18/285.22 c 4570 19351 2761128 92708 0 1370 12 14 12 285.68/285.79 c 4580 19388 2766578 92904 0 1374 9 14 11 286.28/286.38 c 4590 19430 2772633 93092 0 1376 12 14 12 286.88/286.96 conflict 9lvl : 13 bt13-11:0(8)X17765 286.88/286.99 c 4600 19473 2778863 93294 0 1379 10 14 11 287.48/287.59 c 4610 19517 2785354 93509 0 1382 7 14 11 288.09/288.16 c 4620 19558 2791412 93704 0 1385 11 14 12 288.68/288.75 c 4630 19604 2797932 93930 0 1389 12 14 12 289.28/289.35 c 4640 19644 2803855 94125 0 1392 12 14 12 289.88/289.91 c 4650 19686 2809837 94343 0 1396 11 14 12 290.48/290.51 c 4660 19726 2815471 94533 0 1401 7 14 11 291.09/291.11 c 4670 19767 2821492 94746 0 1405 12 14 11 291.58/291.69 c 4680 19808 2827696 94954 0 1407 8 14 11 292.18/292.27 c 4690 19846 2833157 95139 0 1410 12 14 12 292.78/292.84 c 4700 19888 2838947 95357 0 1411 12 14 12 293.38/293.46 c 4710 19935 2846104 95584 0 1414 13 14 12 293.99/294.07 c 4720 19978 2852425 95811 0 1417 10 14 12 294.58/294.64 c 4730 20021 2858746 96019 0 1420 11 14 12 295.18/295.23 c 4740 20061 2865062 96224 0 1422 11 14 12 295.78/295.87 c 4750 20106 2871703 96439 0 1424 12 14 12 296.38/296.48 c 4760 20153 2878343 96671 0 1428 12 14 12 296.99/297.07 c 4770 20192 2884354 96842 0 1432 11 14 11 297.58/297.65 c 4780 20232 2890135 97019 0 1435 12 15 12 298.18/298.25 c 4790 20277 2896273 97241 0 1438 11 14 12 299.09/299.16 c 4800 20324 2903149 97457 0 1444 7 14 11 299.68/299.78 c 4810 20364 2908932 97645 0 1447 12 15 12 300.28/300.37 conflict 7lvl : 11 bt11-25:0(7)X18664 300.28/300.39 c 4820 20402 2914398 97833 0 1449 12 14 12 300.88/300.97 conflict 7lvl : 11 bt11-25:0(7)X18698 300.88/300.99 c 4830 20441 2920340 98015 0 1452 12 14 12 301.48/301.56 c 4840 20484 2926440 98211 0 1454 10 14 12 302.09/302.13 c 4850 20526 2932522 98436 0 1455 12 14 12 302.68/302.71 c 4860 20564 2937873 98624 0 1457 12 14 12 303.28/303.32 c 4870 20613 2945202 98873 0 1460 13 14 12 303.78/303.88 c 4880 20654 2951187 99082 0 1463 12 14 12 304.38/304.49 c 4890 20694 2957520 99296 0 1466 11 14 11 304.99/305.06 c 4900 20737 2963989 99500 0 1470 13 14 12 305.58/305.60 c 4910 20776 2969701 99692 0 1473 12 14 12 306.09/306.16 c 4920 20817 2975824 99899 0 1476 12 14 12 306.68/306.77 c 4930 20865 2982340 100137 0 1480 13 14 12 307.28/307.35 c 4940 20909 2988669 100345 0 1483 13 14 12 307.88/307.91 c 4950 20950 2994532 100536 0 1485 13 14 12 308.48/308.50 c 4960 20996 3001200 100746 0 1488 12 14 12 308.99/309.06 c 4970 21034 3006984 100934 0 1491 12 14 12 309.58/309.68 c 4980 21086 3014592 101169 0 1493 13 14 12 310.18/310.28 c 4990 21123 3020226 101352 0 1495 9 14 11 310.88/310.97 c 5035 21269 3041450 102210 0 1500 10 15 13 313.38/313.44 c 5631 23327 3324887 113744 0 1507 6 15 13 314.68/314.72 conflict 4lvl : 12 bt10-37:0(7)X19406 315.38/315.43 conflict 5lvl : 9 bt8-37:0(7)X19413 315.58/315.65 -> -37:X(7)conflict 5lvl : 10 bt9-37:0(6)X19421 316.09/316.14 -> -37:X(6)c 6286 25643 3645790 126403 0 1513 5 15 13 319.48/319.51 c 7006 28116 3989130 139796 2 1520 3 15 13 319.68/319.76 conflict 5lvl : 8 bt8-1:0(5)X19562 321.68/321.71 c restarts : 521 321.68/321.71 c conflicts : 7665 (24 /sec) 321.68/321.71 c decisions : 30392 (94 /sec) 321.68/321.71 c propagations : 152017 (473 /sec) 321.68/321.71 c root propagations : 0 321.68/321.71 c filter calls : 4308384 (13396 /sec) 321.68/321.71 c useless filter calls : 4243175 (98 %) 321.68/321.71 c 321.68/321.71 c clauses : 1561 321.68/321.71 c SAT propagations : 3355 321.68/321.71 c SAT conflicts : 158 (24 learnts) 321.68/321.71 c Memory used : 95.54 MB 321.68/321.71 c CPU time : 321.622 s 321.68/321.71 321.68/321.71 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 (14007 MiB free)
memory of node 1: 16384 MiB (12363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266252-1502575788/watcher-4266252-1502575788 -o /tmp/evaluation-result-4266252-1502575788/solver-4266252-1502575788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266252-1502575788.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=25563, runsolver pid=25560
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 1.85 1.99 2.03 3/187 25564
/proc/meminfo: memFree=27003240/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=27736 memory=3856 CPUtime=0.1 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 1145 0 0 0 10 0 0 0 20 0 1 0 90666676 28401664 964 33554432000 4194304 5972588 140731596300208 140731596296856 5675317 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/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.209276 s]*
/proc/loadavg: 1.85 1.99 2.03 3/187 25564
/proc/meminfo: memFree=27002496/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=28456 memory=4576 CPUtime=0.21 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 1380 0 0 0 21 0 0 0 20 0 1 0 90666676 29138944 1144 33554432000 4194304 5972588 140731596300208 140731596296856 140383653903333 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/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.308716 s]*
/proc/loadavg: 1.85 1.99 2.03 4/187 25564
/proc/meminfo: memFree=27001752/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=29368 memory=5144 CPUtime=0.31 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 1646 0 0 0 31 0 0 0 20 0 1 0 90666676 30072832 1286 33554432000 4194304 5972588 140731596300208 140731596296856 5673570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/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.700228 s]
/proc/loadavg: 1.85 1.99 2.03 3/187 25564
/proc/meminfo: memFree=26999832/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=32248 memory=7864 CPUtime=0.69 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 2494 0 0 0 69 0 0 0 20 0 1 0 90666676 33021952 1966 33554432000 4194304 5972588 140731596300208 140731596296856 5672181 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/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.50032 s]
/proc/loadavg: 1.85 1.99 2.03 3/187 25564
/proc/meminfo: memFree=26935812/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69260 CPUtime=1.49 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 18430 0 0 0 147 2 0 0 20 0 1 0 90666676 100175872 17315 33554432000 4194304 5972588 140731596300208 140731596297432 4935435 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17315 727 435 0 17820 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69260 KiB
[startup+3.10957 s]
/proc/loadavg: 1.85 1.99 2.03 3/187 25564
/proc/meminfo: memFree=26937428/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69468 CPUtime=3.1 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 34962 0 0 0 308 2 0 0 20 0 1 0 90666676 100175872 17367 33554432000 4194304 5972588 140731596300208 140731596297512 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17367 769 435 0 17820 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69468 KiB
[startup+6.30039 s]
/proc/loadavg: 1.78 1.97 2.03 3/187 25564
/proc/meminfo: memFree=26937212/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69468 CPUtime=6.29 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 51493 0 0 0 626 3 0 0 20 0 1 0 90666676 100175872 17367 33554432000 4194304 5972588 140731596300208 140731596297512 4935589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17367 769 435 0 17820 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69468 KiB
[startup+12.7004 s]
/proc/loadavg: 1.80 1.97 2.03 3/187 25564
/proc/meminfo: memFree=26937212/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69468 CPUtime=12.69 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 68024 0 0 0 1265 4 0 0 20 0 1 0 90666676 100175872 17367 33554432000 4194304 5972588 140731596300208 140731596297512 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17367 769 435 0 17820 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69468 KiB
[startup+25.5004 s]
/proc/loadavg: 1.84 1.97 2.03 3/187 25564
/proc/meminfo: memFree=26937304/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69484 CPUtime=25.48 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 101095 0 0 0 2543 5 0 0 20 0 1 0 90666676 100175872 17371 33554432000 4194304 5972588 140731596300208 140731596297512 4934332 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17371 772 435 0 17820 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69484 KiB
[startup+51.1096 s]
/proc/loadavg: 1.90 1.98 2.03 3/187 25564
/proc/meminfo: memFree=26937272/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69496 CPUtime=51.09 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 117634 0 0 0 5103 6 0 0 20 0 1 0 90666676 100175872 17374 33554432000 4194304 5972588 140731596300208 140731596297512 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17374 774 435 0 17820 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69496 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/188 25566
/proc/meminfo: memFree=26935164/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69504 CPUtime=102.29 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 134179 0 0 0 10222 7 0 0 20 0 1 0 90666676 100175872 17376 33554432000 4194304 5972588 140731596300208 140731596297512 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17376 774 435 0 17820 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69504 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 25629
/proc/meminfo: memFree=25730316/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69512 CPUtime=162.28 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 140521 0 0 0 16221 7 0 0 20 0 1 0 90666676 100175872 17378 33554432000 4194304 5972588 140731596300208 140731596297512 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17378 774 435 0 17820 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69512 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 25630
/proc/meminfo: memFree=25730164/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69544 CPUtime=222.27 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 141751 0 0 0 22220 7 0 0 20 0 1 0 90666676 100175872 17386 33554432000 4194304 5972588 140731596300208 140731596297512 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17386 774 435 0 17820 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69544 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25639
/proc/meminfo: memFree=25727876/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69592 CPUtime=282.28 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 142990 0 0 0 28220 8 0 0 20 0 1 0 90666676 100175872 17398 33554432000 4194304 5972588 140731596300208 140731596297512 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17398 774 435 0 17820 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69592 KiB
[startup+321.72 s]
# the end of solver process 25563 was just reported to runsolver
# cumulated CPU time of all completed processes: user=321.623 s, system=0.080998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25639
/proc/meminfo: memFree=25728360/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=307.18 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144224 0 0 0 30710 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297512 4935486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 307.18 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+313.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25639
/proc/meminfo: memFree=25728236/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=313.58 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144224 0 0 0 31350 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297512 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 313.58 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+316.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25639
/proc/meminfo: memFree=25728220/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=316.78 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144225 0 0 0 31670 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297608 4935201 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 316.78 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+320 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 25639
/proc/meminfo: memFree=25728308/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=319.99 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144225 0 0 0 31991 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297512 4935456 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 319.99 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+320.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25639
/proc/meminfo: memFree=25728308/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=320.78 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144225 0 0 0 32070 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297512 4935493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 320.78 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+321.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25640
/proc/meminfo: memFree=25728424/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=321.18 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144225 0 0 0 32110 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297608 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 321.18 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+321.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25640
/proc/meminfo: memFree=25728424/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=321.58 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144225 0 0 0 32150 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297608 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 321.58 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
[startup+321.7 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25640
/proc/meminfo: memFree=25728424/32770624 swapFree=67108860/67108860
[pid=25563] ppid=25560 vsize=97828 memory=69604 CPUtime=321.68 cores=1,3,5,7
/proc/25563/stat : 25563 (cosoco) R 25560 25563 24273 0 -1 4202496 144225 0 0 0 32160 8 0 0 20 0 1 0 90666676 100175872 17401 33554432000 4194304 5972588 140731596300208 140731596297608 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 25288704 140731596305594 140731596305694 140731596305694 140731596308430 0
/proc/25563/statm: 24457 17401 774 435 0 17820 0
Current children cumulated CPU time: 321.68 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 69604 KiB
Child status: 0
Real time (s): 321.72
CPU time (s): 321.704
CPU user time (s): 321.623
CPU system time (s): 0.080998
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 97828
Max. memory (cumulated for all children) (KiB): 69604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.623
system time used= 0.080998
maximum resident set size= 69688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144265
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= 18
involuntary context switches= 275
# summary of solver processes directly reported to runsolver:
# pid: 25563
# total CPU time (s): 321.704
# total CPU user time (s): 321.623
# total CPU system time (s): 0.080998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25665 second user time and 2.47455 second system time
The end
Begin job on node114 at 2017-08-12 23:55:30 IDJOB=4266252 IDBENCH=125996 IDSOLVER=2655 FILE ID=node114/4266252-1502575788 RUNJOBID= node114-1502567254-24358 PBS_JOBID= 20628281 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266252-1502575788/watcher-4266252-1502575788 -o /tmp/evaluation-result-4266252-1502575788/solver-4266252-1502575788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266252-1502575788.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc RANDOM SEED=1765366545 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 27004508 kB MemAvailable: 31838608 kB Buffers: 123336 kB Cached: 5001776 kB SwapCached: 0 kB Active: 528780 kB Inactive: 4807204 kB Active(anon): 213368 kB Inactive(anon): 25036 kB Active(file): 315412 kB Inactive(file): 4782168 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7196 kB Writeback: 0 kB AnonPages: 217056 kB Mapped: 44136 kB Shmem: 25224 kB Slab: 129624 kB SReclaimable: 104708 kB SUnreclaim: 24916 kB KernelStack: 3296 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 510364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61692 MiB End job on node114 at 2017-08-13 00:00:52