| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | UNSAT | 315.211 | 315.384 |
| 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.89/0.97 c SAT : Variables: 42 -- Clauses: 42 1.39/1.41 c root propagations : 0 1.39/1.41 c restarts enabled, print stats at every restarts 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c This is cosoco 1.0 -- 1.39/1.41 c 1.39/1.41 c ========================================[ Problem Statistics ]=========================================== 1.39/1.41 c | 1.39/1.41 c | Parse time : 0.95 s 1.39/1.41 c | 1.39/1.41 c | Variables: 21 1.39/1.41 c | Domain Sizes: 2..2 1.39/1.41 c | 1.39/1.41 c | Constraints: 133 1.39/1.41 c | Arity: 18..18 1.39/1.41 c | 1.39/1.41 c | Types: 1.39/1.41 c | Extension: 133 (nb tuples: 57819..57819) -- (shared: 132) 1.39/1.41 c | 1.39/1.41 c ========================================================================================================= 1.39/1.41 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.69/1.73 c 10 40 5126 170 0 4 13 15 13 2.20/2.25 c 20 79 10269 356 0 5 11 14 12 2.79/2.83 c 30 120 16115 564 0 8 11 14 11 3.29/3.37 c 40 157 21395 753 0 11 12 14 12 3.78/3.89 c 50 197 27276 944 0 14 12 14 12 4.39/4.43 c 60 232 32352 1124 0 15 11 14 11 4.89/4.98 c 70 272 37742 1308 0 18 11 15 12 5.49/5.52 c 80 318 43886 1514 0 20 13 14 12 5.99/6.07 c 90 355 48969 1686 0 23 12 14 12 6.59/6.67 c 100 396 54371 1879 0 26 12 14 12 7.19/7.25 c 101 406 55675 1898 0 27 10 10 5 7.79/7.84 c 110 443 60841 2083 0 29 10 14 11 8.38/8.42 c 120 481 66172 2258 0 33 12 14 12 8.98/9.04 c 130 526 72252 2482 0 36 13 14 12 9.58/9.64 c 140 574 78573 2737 0 40 13 15 12 10.08/10.19 c 150 613 83899 2948 0 41 10 14 12 10.68/10.76 c 160 655 89388 3160 0 44 13 15 12 11.28/11.35 c 170 695 95042 3364 0 46 12 14 12 11.88/11.96 c 180 737 100645 3543 0 49 12 14 12 12.48/12.58 c 190 777 106059 3746 0 51 12 14 12 13.18/13.21 c 200 819 111811 3938 0 55 8 14 11 13.77/13.82 conflict 12lvl : 13 bt12-11:0(13)X891 13.77/13.83 c 210 853 116848 4107 0 60 8 14 11 14.38/14.42 c 211 861 117905 4128 0 61 8 8 4 14.98/15.01 c 220 898 122953 4283 0 64 11 14 11 15.58/15.63 c 230 939 129022 4477 0 66 12 14 12 16.18/16.27 c 240 982 134911 4678 0 69 7 14 11 16.78/16.89 c 250 1023 140705 4860 0 73 12 14 12 17.38/17.49 c 260 1069 146788 5082 0 77 13 15 12 18.08/18.11 c 270 1115 152845 5287 0 80 13 14 12 18.58/18.69 c 280 1155 158377 5478 0 83 13 14 12 19.18/19.26 c 290 1200 164784 5698 0 86 13 14 12 19.78/19.88 c 300 1243 170927 5886 0 89 12 14 12 20.38/20.48 c 310 1290 177433 6110 0 91 13 14 12 20.98/21.08 c 320 1332 183211 6312 0 94 12 14 12 21.58/21.69 c 330 1373 188908 6519 0 97 12 14 12 22.18/22.26 c 332 1387 190960 6552 0 99 12 13 8 22.78/22.82 conflict 9lvl : 12 bt12-9:0(9)X1473 22.78/22.84 c 340 1425 196145 6723 0 101 13 14 12 23.38/23.42 c 350 1467 201970 6930 0 104 12 14 12 23.98/24.03 c 360 1503 206911 7110 0 108 7 15 11 24.58/24.62 c 370 1549 213253 7351 0 112 13 14 12 25.08/25.15 c 380 1590 219200 7549 0 115 11 14 12 25.68/25.71 c 390 1634 225564 7739 0 117 10 15 12 26.28/26.32 c 400 1674 231428 7945 0 121 8 14 11 26.87/26.91 c 410 1718 237658 8156 0 125 12 14 12 27.37/27.46 c 420 1758 243481 8368 0 129 12 14 12 27.97/28.05 c 430 1795 248870 8543 0 132 11 14 11 28.58/28.64 c 440 1835 254733 8740 0 136 12 14 12 29.17/29.20 c 450 1876 260716 8937 0 138 12 14 12 29.68/29.79 c 460 1914 266253 9118 0 140 12 14 12 30.27/30.35 c 465 1939 269768 9213 0 143 12 14 11 30.78/30.89 c 470 1963 273309 9319 0 144 12 14 11 31.37/31.46 c 480 2000 278744 9509 0 148 11 14 11 31.98/32.05 c 490 2042 285068 9718 0 151 13 14 12 32.57/32.64 c 500 2085 291174 9923 0 155 12 15 12 33.17/33.20 c 510 2131 297717 10151 0 156 13 14 12 33.77/33.83 c 520 2172 303577 10345 0 159 10 14 11 34.37/34.43 c 530 2217 309851 10567 0 162 13 14 12 34.97/35.03 c 540 2256 315227 10760 0 164 11 14 11 35.57/35.61 c 550 2300 321418 10978 0 168 13 14 12 36.07/36.17 c 560 2340 327212 11179 0 171 12 14 12 36.67/36.73 c 570 2381 332937 11371 0 174 11 14 12 37.17/37.27 c 580 2428 339580 11591 0 177 13 14 12 37.77/37.84 conflict 7lvl : 10 bt10-25:0(7)X2496 37.77/37.89 c 590 2476 346085 11836 0 180 13 14 12 38.37/38.45 c 600 2524 352801 12077 0 181 13 14 12 38.87/38.99 c 610 2562 358185 12260 0 184 13 15 12 39.47/39.58 c 611 2576 359979 12302 0 185 14 14 7 40.07/40.18 c 620 2611 365143 12467 0 188 12 14 11 40.67/40.74 c 630 2649 370791 12651 0 192 11 15 11 41.27/41.30 c 640 2687 376422 12837 0 195 10 14 11 41.77/41.89 c 650 2737 383386 13065 0 198 13 14 12 42.37/42.45 c 660 2777 388998 13254 0 202 12 14 12 42.97/43.05 c 670 2812 394039 13455 0 206 7 14 11 43.56/43.67 c 680 2858 400474 13673 0 208 12 14 12 44.16/44.28 c 690 2905 406826 13892 0 212 13 14 12 44.76/44.89 c 700 2950 413435 14105 0 215 12 14 12 45.46/45.52 c 710 2995 419712 14324 0 218 13 14 12 45.96/46.09 c 720 3030 424749 14490 0 221 10 14 11 46.56/46.64 c 730 3067 429995 14670 0 225 11 14 12 47.16/47.20 c 740 3106 435735 14851 0 228 10 14 11 47.66/47.75 c 750 3147 441401 15040 0 231 12 14 12 48.16/48.28 c 760 3193 447936 15260 0 234 12 14 12 48.76/48.86 c 770 3237 454164 15466 0 237 11 14 12 49.36/49.40 c 771 3250 456143 15504 0 238 13 13 6 49.86/49.96 c 780 3293 461916 15700 0 241 13 14 12 50.46/50.53 c 790 3335 467580 15902 0 244 13 14 12 51.06/51.10 c 800 3379 473805 16098 0 246 13 15 12 51.67/51.72 c 810 3422 479885 16298 0 248 11 14 12 52.16/52.26 c 820 3462 485560 16520 0 252 12 14 12 52.76/52.83 c 830 3502 490942 16709 0 254 11 14 12 53.26/53.35 c 840 3539 496251 16896 0 256 11 15 12 53.86/53.98 c 850 3581 501827 17092 0 259 11 14 12 54.46/54.52 c 860 3627 508198 17302 0 263 12 14 12 54.96/55.10 c 870 3667 513834 17508 0 265 11 14 12 55.56/55.64 c 880 3702 519348 17701 0 266 10 14 11 56.26/56.30 c 890 3750 526005 17942 0 270 12 14 12 56.76/56.89 c 900 3794 532537 18159 0 273 13 14 12 57.36/57.48 c 910 3836 538550 18385 0 276 11 14 12 57.96/58.02 c 920 3875 544420 18589 0 279 11 14 11 58.46/58.58 c 930 3922 550579 18816 0 283 13 14 12 59.06/59.12 c 940 3965 557185 19033 0 287 12 14 12 59.56/59.69 c 947 3999 562026 19198 0 289 10 14 11 60.16/60.26 c 950 4020 565076 19269 0 291 13 14 10 60.75/60.81 conflict 7lvl : 8 bt8-1:0(7)X3961 60.75/60.87 -> -1:X(7)c 960 4068 572145 19495 0 294 13 14 12 61.35/61.42 conflict 6lvl : 9 bt8-1:0(7)X4008 61.35/61.45 c 970 4113 579006 19716 0 297 12 14 12 61.95/62.03 c 980 4155 585207 19934 0 300 10 14 12 62.45/62.57 conflict 7lvl : 11 bt11-1:0(7)X4095 62.55/62.60 c 990 4200 591656 20149 0 303 13 14 12 63.05/63.13 c 1000 4237 597256 20332 0 307 11 14 11 63.65/63.75 c 1010 4282 604378 20559 0 309 11 14 11 64.15/64.28 conflict 6lvl : 8 bt8-25:0(6)X4221 64.35/64.43 -> -25:X(6)c 1020 4326 610810 20778 0 311 12 14 12 64.96/65.00 c 1030 4367 616765 20993 0 314 12 15 12 65.55/65.60 c 1040 4412 622803 21217 0 317 13 14 12 66.06/66.13 c 1050 4452 628504 21424 0 320 12 14 12 66.65/66.73 c 1060 4493 634428 21613 0 322 10 14 12 67.16/67.27 c 1070 4532 639887 21804 0 325 12 14 12 67.75/67.82 c 1080 4570 645154 21974 0 328 12 14 12 68.35/68.41 c 1090 4611 650790 22164 0 332 12 14 12 68.85/68.96 c 1100 4658 657355 22384 0 335 13 14 12 69.36/69.49 c 1110 4702 663657 22588 0 337 10 15 12 70.05/70.13 c 1120 4751 670366 22830 0 339 13 14 12 70.65/70.70 c 1130 4789 675697 23032 0 343 8 14 11 71.25/71.35 c 1140 4836 682431 23250 0 345 12 14 12 71.75/71.89 c 1141 4850 684367 23284 0 346 14 14 7 72.35/72.40 conflict 9lvl : 11 bt11-9:0(9)X4690 72.35/72.42 c 1150 4888 690157 23475 0 349 13 14 11 73.05/73.12 c 1160 4938 697544 23726 0 352 10 15 12 73.65/73.71 c 1170 4981 703921 23940 0 355 12 14 12 74.15/74.27 c 1180 5027 710483 24166 0 357 13 14 12 74.75/74.85 c 1190 5074 717379 24388 0 359 13 14 12 75.45/75.53 c 1200 5124 724295 24623 0 361 13 14 12 75.95/76.09 c 1210 5164 729954 24795 0 365 12 14 12 76.55/76.66 c 1220 5206 736096 25001 0 368 13 14 12 77.15/77.24 c 1230 5248 742197 25189 0 370 10 14 12 77.65/77.79 c 1240 5288 747706 25363 0 372 12 14 12 78.35/78.49 c 1250 5334 753895 25578 0 375 12 14 12 78.94/79.05 c 1260 5374 759882 25783 0 379 12 14 12 79.54/79.64 c 1270 5420 766156 25973 0 383 13 14 12 80.14/80.21 conflict 9lvl : 12 bt12-11:0(9)X5167 80.14/80.24 -> -11:X(9)c 1280 5476 774105 26212 0 385 13 15 12 80.74/80.81 c 1290 5517 779962 26412 0 388 12 15 12 81.24/81.37 c 1300 5555 785337 26607 0 389 10 14 11 81.84/81.98 c 1310 5595 791087 26812 0 393 12 14 12 82.45/82.55 c 1320 5636 796784 27003 0 396 13 14 12 83.04/83.15 c 1330 5677 802891 27204 0 400 12 14 12 83.65/83.76 c 1340 5719 808944 27403 0 403 12 14 12 84.24/84.31 c 1350 5765 815727 27636 0 406 13 15 12 84.75/84.89 c 1352 5783 818609 27702 0 408 13 13 8 85.34/85.46 c 1360 5819 823864 27869 0 412 13 14 12 85.94/86.03 c 1370 5865 830438 28100 0 416 12 14 12 86.54/86.62 c 1380 5905 836537 28295 0 419 12 14 11 87.14/87.25 conflict 7lvl : 9 bt9-37:0(7)X5649 87.14/87.27 c 1390 5943 842096 28492 0 424 5 14 11 87.74/87.85 c 1400 5987 848459 28699 0 428 12 14 12 88.34/88.41 c 1410 6029 854626 28913 0 430 13 14 12 88.94/89.01 c 1420 6067 860193 29114 0 433 6 14 11 89.54/89.60 c 1430 6109 866494 29331 0 437 12 14 12 90.04/90.15 c 1440 6149 872312 29514 0 440 13 14 12 90.64/90.73 c 1450 6190 878237 29717 0 442 12 14 12 91.14/91.30 c 1460 6231 884248 29919 0 445 8 14 11 91.74/91.89 c 1470 6278 890824 30132 0 450 13 14 12 92.34/92.45 c 1480 6320 896985 30335 0 452 12 14 12 92.94/93.02 c 1490 6358 902682 30541 0 455 11 14 11 93.44/93.56 c 1500 6398 908843 30730 0 458 11 14 12 94.04/94.14 c 1510 6441 915279 30936 0 462 11 14 11 94.54/94.69 c 1520 6484 921403 31123 0 465 13 15 12 95.14/95.24 conflict 6lvl : 8 bt8-37:0(6)X6240 95.23/95.33 -> -37:X(6)c 1530 6527 927760 31329 0 467 10 14 12 95.83/95.91 c 1540 6562 932638 31506 0 470 7 14 11 96.33/96.47 c 1550 6603 938596 31692 0 473 13 14 12 96.93/97.06 c 1560 6645 944272 31882 0 475 12 14 12 97.53/97.65 c 1570 6685 950146 32077 0 477 12 14 12 98.13/98.21 c 1580 6724 955824 32262 0 481 12 14 12 98.63/98.76 c 1585 6751 959827 32387 0 483 13 14 11 99.23/99.31 c 1590 6776 963301 32479 0 486 13 15 11 99.83/99.92 c 1600 6820 969210 32701 0 489 13 14 12 100.43/100.54 c 1610 6865 975939 32922 0 492 12 14 12 100.93/101.10 c 1620 6900 980834 33085 0 495 9 14 11 101.53/101.67 c 1630 6939 986445 33278 0 499 9 14 11 102.24/102.31 c 1640 6987 993237 33503 0 502 13 14 12 102.83/102.90 c 1650 7028 999091 33712 0 503 12 14 12 103.34/103.47 c 1660 7074 1005544 33935 0 505 13 14 12 103.93/104.00 c 1670 7114 1011135 34112 0 508 12 15 12 104.54/104.61 c 1680 7165 1018375 34363 0 510 13 14 12 105.03/105.16 c 1690 7210 1024877 34597 0 512 12 14 12 105.64/105.73 c 1700 7250 1030603 34785 0 514 12 14 12 106.13/106.29 c 1710 7289 1035880 34964 0 517 12 14 12 106.73/106.85 c 1720 7329 1041664 35165 0 521 12 14 11 107.33/107.40 c 1730 7371 1047304 35375 0 524 11 14 12 107.83/107.98 c 1740 7417 1053572 35575 0 527 13 14 12 108.53/108.60 c 1750 7465 1060274 35803 0 531 13 14 12 109.03/109.17 c 1760 7502 1065552 35991 0 532 11 14 12 109.73/109.83 c 1770 7546 1072088 36201 0 535 11 14 12 110.33/110.41 c 1780 7586 1077839 36366 0 538 11 14 12 110.83/110.97 c 1790 7629 1084070 36587 0 541 12 14 12 111.43/111.54 c 1800 7670 1089835 36772 0 544 12 14 12 111.93/112.07 c 1810 7706 1095179 36939 0 547 11 14 12 112.53/112.66 c 1820 7746 1101366 37144 0 549 12 14 12 113.12/113.20 c 1830 7789 1107331 37330 0 551 13 14 12 113.62/113.76 c 1840 7837 1114222 37567 0 554 13 14 12 114.22/114.32 c 1841 7850 1116257 37601 0 555 13 13 6 114.72/114.88 c 1850 7886 1121582 37772 0 558 12 14 12 115.32/115.44 c 1860 7930 1128148 37997 0 562 13 14 12 115.82/115.96 conflict 6lvl : 10 bt10-3:0(6)X7482 115.82/115.98 c 1870 7972 1134015 38187 0 564 13 15 12 116.42/116.55 c 1880 8014 1140415 38393 0 566 13 14 12 117.02/117.10 c 1890 8058 1146786 38610 0 569 11 15 12 117.52/117.65 c 1900 8100 1152777 38805 0 573 12 14 12 118.12/118.20 c 1910 8139 1158343 38986 0 575 10 14 12 118.62/118.74 c 1920 8177 1164122 39169 0 578 12 14 12 119.32/119.42 c 1930 8223 1170211 39372 0 581 13 14 12 119.83/119.98 c 1940 8267 1176388 39579 0 584 13 14 12 120.42/120.57 c 1950 8314 1183210 39813 0 588 13 14 12 121.03/121.19 c 1960 8361 1190166 40039 0 592 12 15 12 121.62/121.71 c 1970 8401 1196060 40237 0 595 11 14 11 122.13/122.29 c 1980 8439 1201471 40403 0 599 11 14 11 122.72/122.88 c 1990 8485 1207482 40620 0 602 13 14 12 123.32/123.40 c 2000 8525 1213361 40802 0 606 12 14 11 123.82/123.98 c 2010 8561 1218528 40993 0 610 6 14 11 124.42/124.52 c 2020 8599 1223737 41166 0 614 12 14 12 125.02/125.13 c 2030 8643 1230008 41359 0 616 12 15 12 125.62/125.77 c 2040 8684 1235672 41578 0 620 6 15 11 126.22/126.34 c 2050 8725 1241607 41764 0 622 10 14 12 126.82/126.92 c 2060 8771 1248130 41966 0 624 13 14 12 127.32/127.45 c 2070 8812 1253677 42175 0 626 13 14 12 127.92/128.04 c 2080 8853 1259751 42361 0 629 11 14 11 128.42/128.59 c 2090 8890 1264896 42542 0 631 12 14 12 129.02/129.14 c 2100 8926 1269698 42710 0 634 11 14 12 129.52/129.69 c 2110 8969 1275505 42925 0 637 13 14 12 130.12/130.22 c 2120 9010 1281229 43133 0 639 10 14 11 130.61/130.75 c 2122 9025 1283327 43184 0 640 13 14 9 131.21/131.32 c 2130 9057 1287752 43315 0 643 12 14 11 131.71/131.88 c 2140 9095 1293099 43509 0 645 12 14 12 132.31/132.44 c 2150 9135 1298727 43705 0 649 12 14 12 133.02/133.20 c 2160 9180 1304871 43892 0 651 11 14 12 133.61/133.78 c 2170 9224 1310740 44094 0 654 13 15 12 134.22/134.34 c 2180 9265 1316467 44287 0 657 11 14 12 134.71/134.86 c 2190 9304 1322040 44472 0 660 12 14 12 135.51/135.60 c 2200 9351 1328512 44657 0 663 13 15 12 136.01/136.14 c 2210 9389 1333875 44850 0 667 7 14 11 136.61/136.78 c 2220 9433 1340035 45058 0 671 12 14 12 137.42/137.53 c 2230 9466 1344990 45241 0 675 3 14 10 137.91/138.08 conflict 9lvl : 11 bt11-3:0(9)X8924 137.91/138.09 c 2240 9508 1350727 45427 0 678 12 14 12 138.71/138.84 c 2250 9548 1356567 45571 0 682 10 14 11 139.21/139.39 c 2260 9591 1362634 45773 0 684 13 15 12 139.81/139.97 c 2270 9630 1367933 45954 0 687 12 14 12 140.61/140.76 c 2280 9676 1374143 46152 0 689 12 14 12 141.21/141.30 c 2290 9714 1379566 46346 0 693 8 14 11 141.71/141.90 conflict 4lvl : 10 bt10-29:0(4)X9158 142.01/142.12 c 2300 9763 1386321 46552 0 696 13 15 12 142.61/142.76 c 2310 9800 1391818 46734 0 698 12 14 11 143.21/143.37 c 2320 9840 1397901 46936 0 700 11 14 12 144.01/144.15 c 2330 9882 1403906 47098 0 705 10 14 11 144.61/144.74 c 2340 9923 1409762 47308 0 708 12 14 12 145.21/145.35 c 2350 9964 1415726 47521 0 710 10 14 11 145.70/145.89 conflict 4lvl : 12 bt12-29:0(4)X9368 146.00/146.12 c 2360 10005 1421706 47683 0 712 9 14 11 146.60/146.70 c 2370 10046 1427506 47862 0 716 13 14 12 147.10/147.26 c 2380 10084 1432925 48048 0 720 11 14 12 147.70/147.83 conflict 8lvl : 12 bt12-3:0(8)X9502 147.70/147.85 c 2390 10129 1439571 48230 0 724 13 15 12 148.51/148.65 c 2400 10169 1445499 48435 0 728 3 14 11 149.10/149.26 c 2410 10211 1451290 48630 0 731 12 14 12 149.70/149.86 c 2420 10255 1457963 48869 0 735 12 14 12 150.30/150.42 c 2430 10297 1464114 49087 0 738 11 14 12 150.80/150.98 c 2431 10310 1466086 49116 0 739 13 13 6 151.40/151.57 c 2440 10350 1471990 49303 0 742 11 14 11 152.00/152.14 c 2450 10394 1478413 49523 0 745 13 14 12 152.50/152.69 c 2460 10433 1484153 49733 0 748 10 14 11 153.10/153.26 c 2470 10478 1490269 49935 0 752 13 14 12 153.70/153.85 c 2480 10516 1495732 50111 0 754 10 15 12 154.30/154.43 c 2490 10555 1501454 50296 0 757 12 14 12 154.90/155.02 c 2500 10598 1507872 50506 0 759 10 14 12 155.40/155.59 c 2510 10641 1514166 50694 0 761 12 15 12 156.00/156.15 c 2520 10680 1519610 50884 0 764 10 14 12 156.60/156.78 c 2530 10727 1526314 51125 0 768 12 14 12 157.20/157.34 c 2540 10765 1531783 51315 0 769 10 14 11 157.80/157.97 c 2550 10811 1538470 51527 0 772 13 14 12 158.40/158.55 c 2560 10857 1545125 51747 0 775 12 14 12 159.00/159.15 c 2570 10894 1550591 51924 0 778 11 14 11 159.60/159.70 c 2580 10935 1556384 52125 0 781 11 14 12 160.10/160.27 c 2590 10972 1562090 52310 0 784 11 14 11 160.70/160.85 c 2600 11012 1567940 52504 0 787 12 14 12 161.30/161.42 c 2610 11054 1574019 52711 0 789 13 14 12 161.89/162.03 c 2620 11100 1580824 52920 0 792 13 14 12 162.49/162.63 c 2630 11146 1587407 53128 0 796 13 14 12 163.09/163.24 c 2640 11197 1594627 53376 0 799 13 14 12 163.69/163.80 c 2650 11239 1600617 53566 0 801 13 14 12 164.19/164.39 c 2660 11284 1607065 53794 0 805 12 14 12 164.79/164.96 c 2670 11322 1612808 53983 0 808 12 14 11 165.39/165.54 c 2680 11365 1618937 54182 0 811 12 14 12 166.00/166.13 c 2690 11409 1625530 54407 0 814 11 15 12 166.50/166.69 c 2700 11452 1631496 54608 0 817 10 14 12 167.11/167.27 c 2710 11494 1637608 54826 0 820 13 14 12 167.70/167.84 c 2720 11536 1643631 55033 0 824 12 14 12 168.31/168.47 c 2730 11582 1649854 55247 0 827 12 14 12 168.90/169.09 c 2740 11629 1656499 55480 0 829 12 15 12 169.60/169.71 c 2750 11680 1663582 55711 0 832 13 14 12 170.20/170.33 c 2760 11724 1670114 55931 0 834 12 15 12 170.70/170.88 c 2770 11762 1675551 56100 0 838 11 14 12 171.30/171.42 c 2771 11774 1677468 56123 0 839 12 12 6 171.90/172.03 c 2780 11813 1683003 56315 0 842 12 15 12 172.60/172.80 c 2790 11851 1688612 56430 0 847 8 14 10 173.50/173.65 c 2800 11889 1694214 56561 0 849 8 14 10 174.10/174.20 conflict 8lvl : 12 bt12-11:0(8)X11145 174.10/174.22 c 2810 11928 1700243 56741 0 852 12 14 12 174.69/174.80 c 2820 11976 1707158 56961 0 857 13 15 12 175.19/175.34 c 2830 12021 1713740 57177 0 860 13 14 12 175.69/175.87 c 2840 12060 1719257 57379 0 864 11 14 12 176.29/176.44 c 2850 12101 1725066 57583 0 866 11 14 12 176.89/177.04 c 2860 12141 1730912 57779 0 869 11 15 12 177.49/177.61 c 2870 12181 1736759 57978 0 872 12 15 12 177.99/178.19 c 2880 12220 1742271 58162 0 876 8 14 11 178.59/178.77 c 2890 12267 1749556 58386 0 879 13 14 12 179.20/179.32 c 2900 12312 1755965 58611 0 881 12 14 12 179.69/179.86 c 2910 12350 1761500 58800 0 883 12 15 12 180.30/180.42 c 2920 12390 1767154 58980 0 886 11 14 11 180.79/180.99 c 2930 12428 1772601 59171 0 888 11 14 11 181.40/181.58 c 2940 12466 1778039 59359 0 890 13 14 12 181.99/182.16 c 2950 12509 1783974 59587 0 893 12 15 12 182.60/182.73 c 2960 12548 1789518 59775 0 896 12 14 12 183.09/183.29 c 2970 12589 1795162 59983 0 899 12 14 12 183.69/183.83 c 2980 12629 1800933 60183 0 902 11 14 12 184.19/184.36 c 2990 12667 1806485 60381 0 905 11 14 12 184.79/184.92 c 3000 12708 1812530 60572 0 908 12 14 12 185.39/185.51 c 3010 12750 1818602 60762 0 912 12 14 12 185.89/186.09 c 3020 12787 1824121 60952 0 914 10 14 11 186.49/186.66 c 3030 12830 1830369 61175 0 917 11 14 12 186.99/187.19 c 3040 12869 1836315 61365 0 920 12 14 12 187.59/187.73 c 3050 12908 1842075 61564 0 922 13 14 12 188.09/188.29 c 3060 12952 1848611 61756 0 924 12 14 12 188.69/188.85 c 3070 12992 1854401 61942 0 927 12 14 12 189.29/189.41 c 3080 13033 1860197 62132 0 929 12 15 12 189.89/190.05 c 3090 13076 1866259 62321 0 932 11 14 12 190.49/190.66 c 3100 13118 1872355 62523 0 935 13 14 12 191.08/191.24 c 3110 13156 1878054 62727 0 937 12 14 12 191.68/191.81 c 3120 13193 1883367 62926 0 939 11 14 12 192.28/192.42 c 3130 13242 1890386 63140 0 941 11 14 12 192.78/192.96 c 3140 13280 1896062 63336 0 943 12 14 12 193.38/193.52 c 3142 13295 1898278 63382 0 944 13 14 9 193.98/194.11 c 3150 13334 1904426 63581 0 946 13 15 12 194.59/194.72 c 3160 13374 1910157 63771 0 949 11 14 12 195.18/195.30 c 3170 13417 1915793 63968 0 952 12 14 12 195.69/195.85 c 3180 13456 1921155 64156 0 955 12 14 12 196.28/196.41 c 3190 13500 1927641 64380 0 959 13 14 12 196.79/196.98 c 3200 13544 1933888 64585 0 963 13 15 12 197.38/197.52 c 3210 13581 1938884 64773 0 966 7 14 11 197.89/198.05 c 3220 13619 1944381 64956 0 969 12 14 12 198.38/198.58 c 3230 13661 1950273 65167 0 972 13 15 12 198.99/199.14 c 3240 13703 1956499 65384 0 975 11 14 11 199.58/199.73 c 3250 13745 1962213 65569 0 977 13 14 12 200.19/200.39 c 3260 13792 1969022 65804 0 979 13 14 12 200.78/200.96 c 3270 13839 1976062 66043 0 980 13 14 12 201.38/201.55 c 3280 13886 1982809 66268 0 983 13 15 12 201.98/202.13 c 3290 13925 1988757 66475 0 986 12 14 12 202.48/202.68 c 3300 13965 1994747 66667 0 988 12 14 12 203.08/203.21 c 3310 14005 2000430 66856 0 993 12 14 12 203.68/203.81 c 3320 14049 2006691 67069 0 997 12 14 12 204.18/204.39 c 3330 14090 2012550 67279 0 1002 8 14 11 204.78/204.96 c 3340 14126 2017496 67458 0 1005 7 14 11 205.48/205.61 c 3350 14174 2024323 67667 0 1007 12 15 12 206.08/206.25 c 3360 14226 2031319 67892 0 1010 12 15 12 206.58/206.78 c 3370 14263 2036387 68086 0 1013 12 14 12 207.18/207.31 c 3380 14302 2041769 68277 0 1016 12 14 12 207.78/207.94 c 3390 14348 2047925 68478 0 1019 12 14 12 208.47/208.60 c 3400 14390 2054226 68682 0 1022 11 14 11 208.98/209.15 c 3410 14429 2059375 68850 0 1025 13 14 12 209.57/209.70 c 3420 14466 2064573 69030 0 1027 11 14 11 210.08/210.23 c 3430 14506 2070129 69234 0 1029 10 14 12 210.67/210.83 c 3440 14548 2075864 69449 0 1032 13 15 12 211.18/211.38 c 3450 14593 2082445 69687 0 1036 13 14 12 211.87/212.05 c 3460 14640 2089042 69887 0 1040 11 14 12 212.47/212.62 c 3470 14680 2094730 70081 0 1043 12 14 12 212.97/213.18 c 3480 14721 2100569 70281 0 1047 11 14 12 213.57/213.72 c 3490 14762 2106302 70491 0 1051 9 14 12 214.17/214.30 c 3500 14805 2112675 70723 0 1054 11 14 12 214.67/214.84 c 3510 14850 2119466 70944 0 1057 13 15 12 215.17/215.39 c 3520 14894 2125439 71159 0 1060 12 14 12 215.77/215.92 c 3530 14940 2131734 71361 0 1062 13 14 12 216.27/216.47 c 3540 14986 2138255 71586 0 1064 10 14 12 216.87/217.00 c 3550 15024 2143614 71767 0 1067 12 14 12 217.37/217.51 c 3551 15037 2145648 71802 0 1068 13 13 6 217.97/218.19 c 3560 15078 2151360 71995 0 1072 11 14 11 218.57/218.74 c 3570 15117 2156978 72177 0 1074 11 14 12 219.17/219.32 c 3580 15158 2162673 72368 0 1077 12 14 12 219.67/219.89 c 3590 15202 2168586 72574 0 1079 11 14 12 220.27/220.44 c 3600 15243 2174289 72758 0 1082 13 14 12 220.77/220.99 c 3610 15285 2180428 72969 0 1086 12 14 12 221.37/221.56 c 3620 15330 2186681 73161 0 1088 12 14 12 221.97/222.10 c 3630 15368 2191968 73375 0 1090 12 14 12 222.47/222.65 c 3640 15409 2197873 73560 0 1093 13 14 12 222.97/223.18 c 3650 15446 2203155 73744 0 1096 11 14 12 223.57/223.74 c 3660 15490 2209396 73970 0 1100 13 14 12 224.07/224.27 c 3670 15529 2215028 74178 0 1102 12 14 12 224.67/224.84 c 3680 15568 2220457 74350 0 1104 11 14 12 225.26/225.42 c 3690 15610 2226176 74543 0 1107 12 14 12 225.76/225.99 c 3700 15653 2232361 74745 0 1109 12 14 12 226.36/226.55 c 3710 15693 2237760 74937 0 1113 12 14 12 226.96/227.15 c 3720 15734 2243507 75136 0 1116 12 14 12 227.46/227.69 c 3730 15776 2249118 75325 0 1120 13 14 12 228.06/228.28 c 3740 15822 2255371 75546 0 1124 13 14 12 228.67/228.83 c 3750 15865 2261642 75766 0 1126 11 14 12 229.16/229.38 c 3760 15912 2268634 76020 0 1127 12 14 12 229.77/229.95 c 3770 15952 2274749 76204 0 1130 10 14 11 230.36/230.51 c 3780 15995 2280726 76402 0 1134 12 14 12 230.87/231.05 c 3790 16035 2286186 76587 0 1138 12 14 12 231.36/231.58 c 3800 16075 2291705 76783 0 1142 12 14 12 231.97/232.13 c 3810 16120 2298085 77026 0 1144 12 14 12 232.46/232.68 c 3820 16159 2303799 77220 0 1147 11 14 11 233.07/233.26 c 3830 16200 2309838 77399 0 1149 12 14 12 233.66/233.81 c 3840 16238 2315406 77603 0 1152 11 14 12 234.17/234.36 c 3850 16279 2321585 77827 0 1154 13 14 12 234.76/234.93 c 3860 16319 2327487 78020 0 1158 12 14 12 235.26/235.49 c 3870 16359 2333284 78222 0 1162 12 14 12 235.96/236.10 c 3880 16405 2339723 78435 0 1164 12 14 12 236.56/236.73 c 3890 16451 2346028 78651 0 1166 12 14 12 237.16/237.34 c 3900 16494 2351944 78862 0 1169 11 14 12 237.76/237.94 c 3910 16540 2358502 79094 0 1172 12 14 12 238.26/238.46 c 3920 16580 2364174 79285 0 1174 12 14 12 238.76/238.99 c 3930 16625 2370772 79507 0 1178 13 14 12 239.36/239.55 c 3940 16669 2377088 79712 0 1180 13 14 12 239.85/240.09 c 3950 16719 2383887 79958 0 1184 14 14 12 240.45/240.64 c 3960 16762 2389997 80175 0 1187 11 15 12 240.95/241.19 c 3970 16802 2395827 80356 0 1190 8 15 11 241.55/241.73 c 3980 16847 2402403 80588 0 1194 12 14 12 242.05/242.28 c 3990 16890 2408683 80792 0 1197 12 14 12 242.65/242.82 c 4000 16935 2414856 81020 0 1201 13 14 12 243.15/243.36 c 4001 16949 2416913 81058 0 1202 14 14 7 243.85/244.07 c 4010 16995 2423453 81264 0 1205 13 15 12 244.45/244.65 c 4020 17035 2429249 81473 0 1208 10 14 11 245.05/245.24 c 4030 17078 2435289 81678 0 1211 11 14 12 245.65/245.83 c 4040 17121 2441170 81868 0 1215 12 14 12 246.15/246.39 c 4050 17164 2447189 82077 0 1217 12 14 12 246.85/247.08 c 4060 17208 2453135 82264 0 1221 12 14 12 247.46/247.64 c 4070 17247 2459057 82467 0 1223 12 14 12 247.95/248.19 c 4080 17291 2465429 82675 0 1226 13 14 12 248.65/248.83 c 4090 17337 2471963 82908 0 1229 11 14 12 249.15/249.36 c 4100 17380 2478341 83141 0 1232 12 15 12 249.75/249.97 c 4110 17413 2482915 83305 0 1235 5 14 11 250.35/250.55 c 4120 17451 2488512 83492 0 1238 11 14 12 250.95/251.10 c 4130 17492 2494649 83702 0 1241 12 14 12 251.45/251.67 c 4140 17533 2500518 83890 0 1244 12 14 12 252.15/252.31 c 4150 17579 2506821 84117 0 1247 12 14 12 252.65/252.89 c 4160 17622 2513185 84325 0 1250 13 14 12 253.25/253.47 c 4170 17664 2519292 84536 0 1252 11 14 11 253.75/254.00 c 4180 17700 2524216 84703 0 1255 12 14 11 254.35/254.57 c 4190 17747 2531032 84917 0 1258 13 14 12 254.95/255.17 c 4200 17789 2537122 85107 0 1261 12 14 12 255.55/255.72 c 4210 17822 2541920 85276 0 1263 11 14 11 256.05/256.27 c 4220 17861 2547741 85484 0 1265 12 14 12 256.65/256.81 c 4230 17903 2554441 85700 0 1267 13 14 12 257.25/257.46 c 4240 17951 2561234 85937 0 1269 13 14 12 257.74/258.00 c 4250 17992 2566913 86138 0 1272 13 14 12 258.35/258.54 c 4260 18033 2573070 86353 0 1274 11 14 11 258.94/259.14 c 4270 18077 2579562 86577 0 1278 11 14 12 259.55/259.71 c 4280 18119 2585796 86788 0 1281 13 14 12 260.04/260.27 c 4290 18156 2591283 86962 0 1284 11 15 11 260.65/260.83 c 4300 18201 2597743 87167 0 1286 13 14 12 261.14/261.39 c 4310 18238 2603233 87355 0 1290 7 15 11 261.75/261.93 c 4320 18279 2609028 87567 0 1292 12 14 12 262.24/262.45 c 4330 18322 2614839 87770 0 1295 13 14 12 262.75/262.98 c 4340 18365 2621146 87980 0 1298 12 14 12 263.34/263.52 c 4350 18409 2627396 88203 0 1302 11 14 12 263.84/264.07 c 4360 18446 2632623 88381 0 1305 12 14 12 264.44/264.66 c 4370 18486 2638566 88606 0 1308 6 14 11 265.04/265.23 c 4380 18525 2644373 88801 0 1312 12 14 12 265.64/265.84 c 4390 18562 2649981 89008 0 1314 6 14 11 266.24/266.41 c 4400 18602 2655806 89207 0 1316 13 14 12 266.74/266.98 c 4410 18646 2662029 89412 0 1319 12 14 12 267.34/267.54 c 4420 18680 2666883 89579 0 1321 12 14 11 267.84/268.07 c 4430 18719 2672538 89761 0 1324 12 14 12 268.34/268.59 c 4440 18762 2678623 89977 0 1328 12 14 12 268.94/269.15 c 4450 18806 2684745 90176 0 1331 12 15 12 269.84/270.02 c 4460 18853 2691247 90409 0 1335 12 14 11 270.64/270.89 c 4470 18898 2697480 90604 0 1338 11 14 12 271.24/271.44 c 4480 18943 2703875 90805 0 1341 13 14 12 271.84/272.00 c 4490 18985 2709678 91001 0 1344 12 14 12 272.64/272.86 c 4493 19014 2713403 91099 0 1346 14 14 10 273.53/273.73 c 4500 19052 2718873 91257 0 1349 12 14 11 274.13/274.30 c 4510 19094 2724687 91463 0 1352 12 14 12 274.63/274.88 c 4520 19132 2730218 91658 0 1354 12 14 12 275.63/275.82 c 4530 19178 2736910 91887 0 1357 10 14 11 276.23/276.42 c 4540 19219 2742439 92078 0 1360 12 14 12 276.83/277.01 c 4550 19263 2748592 92290 0 1364 13 14 12 277.73/277.93 c 4560 19311 2755301 92513 0 1366 9 15 11 278.33/278.53 c 4570 19351 2761128 92708 0 1370 12 14 12 278.93/279.10 c 4580 19388 2766578 92904 0 1374 9 14 11 279.43/279.69 c 4590 19430 2772633 93092 0 1376 12 14 12 280.03/280.28 conflict 9lvl : 13 bt13-11:0(8)X17765 280.13/280.32 c 4600 19473 2778863 93294 0 1379 10 14 11 280.73/280.92 c 4610 19517 2785354 93509 0 1382 7 14 11 281.23/281.49 c 4620 19558 2791412 93704 0 1385 11 14 12 281.83/282.09 c 4630 19604 2797932 93930 0 1389 12 14 12 282.43/282.69 c 4640 19644 2803855 94125 0 1392 12 14 12 283.03/283.26 c 4650 19686 2809837 94343 0 1396 11 14 12 283.63/283.86 c 4660 19726 2815471 94533 0 1401 7 14 11 284.23/284.47 c 4670 19767 2821492 94746 0 1405 12 14 11 284.83/285.06 c 4680 19808 2827696 94954 0 1407 8 14 11 285.43/285.64 c 4690 19846 2833157 95139 0 1410 12 14 12 286.03/286.22 c 4700 19888 2838947 95357 0 1411 12 14 12 286.63/286.84 c 4710 19935 2846104 95584 0 1414 13 14 12 287.23/287.46 c 4720 19978 2852425 95811 0 1417 10 14 12 287.83/288.03 c 4730 20021 2858746 96019 0 1420 11 14 12 288.43/288.63 c 4740 20061 2865062 96224 0 1422 11 14 12 289.03/289.27 c 4750 20106 2871703 96439 0 1424 12 14 12 289.63/289.89 c 4760 20153 2878343 96671 0 1428 12 14 12 290.23/290.48 c 4770 20192 2884354 96842 0 1432 11 14 11 290.82/291.06 c 4780 20232 2890135 97019 0 1435 12 15 12 291.43/291.68 c 4790 20277 2896273 97241 0 1438 11 14 12 292.32/292.59 c 4800 20324 2903149 97457 0 1444 7 14 11 293.02/293.22 c 4810 20364 2908932 97645 0 1447 12 15 12 293.63/293.81 conflict 7lvl : 11 bt11-25:0(7)X18664 293.63/293.83 c 4820 20402 2914398 97833 0 1449 12 14 12 294.22/294.42 conflict 7lvl : 11 bt11-25:0(7)X18698 294.22/294.44 c 4830 20441 2920340 98015 0 1452 12 14 12 294.82/295.02 c 4840 20484 2926440 98211 0 1454 10 14 12 295.32/295.59 c 4850 20526 2932522 98436 0 1455 12 14 12 295.92/296.17 c 4860 20564 2937873 98624 0 1457 12 14 12 296.52/296.79 c 4870 20613 2945202 98873 0 1460 13 14 12 297.12/297.36 c 4880 20654 2951187 99082 0 1463 12 14 12 297.72/297.97 c 4890 20694 2957520 99296 0 1466 11 14 11 298.32/298.54 c 4900 20737 2963989 99500 0 1470 13 14 12 298.92/299.10 c 4910 20776 2969701 99692 0 1473 12 14 12 299.42/299.66 c 4920 20817 2975824 99899 0 1476 12 14 12 300.02/300.28 c 4930 20865 2982340 100137 0 1480 13 14 12 300.62/300.87 c 4940 20909 2988669 100345 0 1483 13 14 12 301.22/301.44 c 4950 20950 2994532 100536 0 1485 13 14 12 301.82/302.03 c 4960 20996 3001200 100746 0 1488 12 14 12 302.32/302.59 c 4970 21034 3006984 100934 0 1491 12 14 12 303.02/303.22 c 4980 21086 3014592 101169 0 1493 13 14 12 303.62/303.82 c 4990 21123 3020226 101352 0 1495 9 14 11 304.32/304.51 c 5035 21269 3041450 102210 0 1500 10 15 13 306.82/307.01 c 5631 23327 3324887 113744 0 1507 6 15 13 308.12/308.31 conflict 4lvl : 12 bt10-37:0(7)X19406 308.81/309.02 conflict 5lvl : 9 bt8-37:0(7)X19413 309.02/309.24 -> -37:X(7)conflict 5lvl : 10 bt9-37:0(6)X19421 309.51/309.74 -> -37:X(6)c 6286 25643 3645790 126403 0 1513 5 15 13 312.91/313.15 c 7006 28116 3989130 139796 2 1520 3 15 13 313.11/313.39 conflict 5lvl : 8 bt8-1:0(5)X19562 315.11/315.38 c restarts : 521 315.11/315.38 c conflicts : 7665 (24 /sec) 315.11/315.38 c decisions : 30392 (96 /sec) 315.11/315.38 c propagations : 152017 (482 /sec) 315.11/315.38 c root propagations : 0 315.11/315.38 c filter calls : 4308384 (13671 /sec) 315.11/315.38 c useless filter calls : 4243175 (98 %) 315.11/315.38 c 315.11/315.38 c clauses : 1561 315.11/315.38 c SAT propagations : 3355 315.11/315.38 c SAT conflicts : 158 (24 learnts) 315.11/315.38 c Memory used : 95.54 MB 315.11/315.38 c CPU time : 315.14 s 315.11/315.38 315.11/315.38 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241081-1500628961/watcher-4241081-1500628961 -o /tmp/evaluation-result-4241081-1500628961/solver-4241081-1500628961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241081-1500628961.xml pid=7489 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.05 2.05 2.05 3/186 7492 /proc/meminfo: memFree=31986196/32770624 swapFree=6312/21676 [pid=7492] ppid=7489 vsize=26992 CPUtime=0 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 1 0 17643100 27639808 766 33554432000 4194304 5970956 140720732582176 140720732578824 5672416 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 6748 766 683 434 0 112 0 [startup+0.100111 s] /proc/loadavg: 2.05 2.05 2.05 3/186 7492 /proc/meminfo: memFree=31986196/32770624 swapFree=6312/21676 [pid=7492] ppid=7489 vsize=27600 CPUtime=0.09 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 1087 0 0 0 9 0 0 0 20 0 1 0 17643100 28262400 898 33554432000 4194304 5970956 140720732582176 140720732576776 5672963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 6900 898 709 434 0 264 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27600 [startup+0.200235 s] /proc/loadavg: 2.05 2.05 2.05 3/186 7492 /proc/meminfo: memFree=31986196/32770624 swapFree=6312/21676 [pid=7492] ppid=7489 vsize=28188 CPUtime=0.19 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 1280 0 0 0 19 0 0 0 20 0 1 0 17643100 28864512 1007 33554432000 4194304 5970956 140720732582176 140720732578776 5672396 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 7047 1007 709 434 0 411 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28188 [startup+0.300215 s] /proc/loadavg: 2.05 2.05 2.05 3/186 7492 /proc/meminfo: memFree=31986196/32770624 swapFree=6312/21676 [pid=7492] ppid=7489 vsize=29100 CPUtime=0.29 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 1545 0 0 0 29 0 0 0 20 0 1 0 17643100 29798400 1215 33554432000 4194304 5970956 140720732582176 140720732578776 5674962 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 7275 1215 709 434 0 639 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29100 [startup+0.700176 s] /proc/loadavg: 2.05 2.05 2.05 3/186 7492 /proc/meminfo: memFree=31986196/32770624 swapFree=6312/21676 [pid=7492] ppid=7489 vsize=31980 CPUtime=0.69 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 2415 0 0 0 69 0 0 0 20 0 1 0 17643100 32747520 1894 33554432000 4194304 5970956 140720732582176 140720732578776 5674720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 7995 1894 709 434 0 1359 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31980 [startup+1.50024 s] /proc/loadavg: 2.05 2.05 2.05 3/187 7493 /proc/meminfo: memFree=31920488/32770624 swapFree=6312/21524 [pid=7492] ppid=7489 vsize=97824 CPUtime=1.49 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 18424 0 0 0 147 2 0 0 20 0 1 0 17643100 100171776 17307 33554432000 4194304 5970956 140720732582176 140720732579784 4934310 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17307 719 434 0 17820 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 97824 [startup+3.10022 s] /proc/loadavg: 2.05 2.05 2.05 3/187 7493 /proc/meminfo: memFree=31920116/32770624 swapFree=6312/21524 [pid=7492] ppid=7489 vsize=97824 CPUtime=3.08 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 34961 0 0 0 305 3 0 0 20 0 1 0 17643100 100171776 17364 33554432000 4194304 5970956 140720732582176 140720732579512 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17364 766 434 0 17820 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 97824 [startup+6.30025 s] /proc/loadavg: 2.04 2.05 2.05 3/187 7493 /proc/meminfo: memFree=31918912/32770624 swapFree=6312/21524 [pid=7492] ppid=7489 vsize=97824 CPUtime=6.29 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 47411 0 0 0 625 4 0 0 20 0 1 0 17643100 100171776 17364 33554432000 4194304 5970956 140720732582176 140720732579512 4934877 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17364 766 434 0 17820 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 97824 [startup+12.7002 s] /proc/loadavg: 2.04 2.05 2.05 3/187 7493 /proc/meminfo: memFree=31918912/32770624 swapFree=6312/21540 [pid=7492] ppid=7489 vsize=97824 CPUtime=12.68 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 59861 0 0 0 1264 4 0 0 20 0 1 0 17643100 100171776 17364 33554432000 4194304 5970956 140720732582176 140720732579512 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17364 766 434 0 17820 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 97824 [startup+25.5003 s] /proc/loadavg: 2.03 2.05 2.05 3/187 7493 /proc/meminfo: memFree=31918892/32770624 swapFree=6312/21564 [pid=7492] ppid=7489 vsize=97824 CPUtime=25.48 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 72503 0 0 0 2543 5 0 0 20 0 1 0 17643100 100171776 17369 33554432000 4194304 5970956 140720732582176 140720732579512 4934538 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17369 770 434 0 17820 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97824 [startup+51.1003 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7493 /proc/meminfo: memFree=31919152/32770624 swapFree=6312/21604 [pid=7492] ppid=7489 vsize=97824 CPUtime=51.06 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 73207 0 0 0 5101 5 0 0 20 0 1 0 17643100 100171776 17370 33554432000 4194304 5970956 140720732582176 140720732579512 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17370 770 434 0 17820 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 97824 [startup+102.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 7494 /proc/meminfo: memFree=31919848/32770624 swapFree=6312/21688 [pid=7492] ppid=7489 vsize=97824 CPUtime=102.24 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 73912 0 0 0 10219 5 0 0 20 0 1 0 17643100 100171776 17372 33554432000 4194304 5970956 140720732582176 140720732579512 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17372 770 434 0 17820 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 97824 [startup+162.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7496 /proc/meminfo: memFree=31920260/32770624 swapFree=6312/21816 [pid=7492] ppid=7489 vsize=97824 CPUtime=162.19 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 74625 0 0 0 16214 5 0 0 20 0 1 0 17643100 100171776 17375 33554432000 4194304 5970956 140720732582176 140720732579512 4933078 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17375 770 434 0 17820 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 97824 [startup+222.306 s] /proc/loadavg: 2.07 2.04 2.05 3/187 7497 /proc/meminfo: memFree=31920628/32770624 swapFree=6312/21908 [pid=7492] ppid=7489 vsize=97824 CPUtime=222.17 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 75344 0 0 0 22211 6 0 0 20 0 1 0 17643100 100171776 17383 33554432000 4194304 5970956 140720732582176 140720732579512 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17383 770 434 0 17820 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 97824 [startup+282.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7498 /proc/meminfo: memFree=31920740/32770624 swapFree=6312/22012 [pid=7492] ppid=7489 vsize=97824 CPUtime=282.13 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76072 0 0 0 28207 6 0 0 20 0 1 0 17643100 100171776 17390 33554432000 4194304 5970956 140720732582176 140720732579512 4934310 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17390 770 434 0 17820 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 97824 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7492 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+294.4 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7498 /proc/meminfo: memFree=31920740/32770624 swapFree=6312/22024 [pid=7492] ppid=7489 vsize=97824 CPUtime=294.22 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76073 0 0 0 29416 6 0 0 20 0 1 0 17643100 100171776 17390 33554432000 4194304 5970956 140720732582176 140720732579512 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17390 770 434 0 17820 0 Current children cumulated CPU time (s) 294.22 Current children cumulated vsize (KiB) 97824 [startup+307.2 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7499 /proc/meminfo: memFree=31919864/32770624 swapFree=6312/22048 [pid=7492] ppid=7489 vsize=97824 CPUtime=307.02 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76796 0 0 0 30696 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579512 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 307.02 Current children cumulated vsize (KiB) 97824 [startup+310.4 s] /proc/loadavg: 2.02 2.03 2.05 3/187 7499 /proc/meminfo: memFree=31919864/32770624 swapFree=6312/22048 [pid=7492] ppid=7489 vsize=97824 CPUtime=310.21 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76797 0 0 0 31015 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579512 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 310.21 Current children cumulated vsize (KiB) 97824 [startup+313.606 s] /proc/loadavg: 2.02 2.03 2.05 3/187 7499 /proc/meminfo: memFree=31920112/32770624 swapFree=6312/22056 [pid=7492] ppid=7489 vsize=97824 CPUtime=313.42 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76797 0 0 0 31336 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579608 4934477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 313.42 Current children cumulated vsize (KiB) 97824 [startup+314.4 s] /proc/loadavg: 2.02 2.03 2.05 3/187 7499 /proc/meminfo: memFree=31920112/32770624 swapFree=6312/22056 [pid=7492] ppid=7489 vsize=97824 CPUtime=314.21 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76797 0 0 0 31415 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579608 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 314.21 Current children cumulated vsize (KiB) 97824 [startup+314.8 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7499 /proc/meminfo: memFree=31920236/32770624 swapFree=6312/22072 [pid=7492] ppid=7489 vsize=97824 CPUtime=314.61 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76797 0 0 0 31455 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579608 4933072 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 314.61 Current children cumulated vsize (KiB) 97824 [startup+315.2 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7499 /proc/meminfo: memFree=31920236/32770624 swapFree=6312/22072 [pid=7492] ppid=7489 vsize=97824 CPUtime=315.01 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76797 0 0 0 31495 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579608 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 315.01 Current children cumulated vsize (KiB) 97824 [startup+315.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7499 /proc/meminfo: memFree=31920236/32770624 swapFree=6312/22072 [pid=7492] ppid=7489 vsize=97824 CPUtime=315.11 cores=0,2,4,6 /proc/7492/stat : 7492 (cosoco) R 7489 7492 5313 0 -1 4202496 76797 0 0 0 31505 6 0 0 20 0 1 0 17643100 100171776 17397 33554432000 4194304 5970956 140720732582176 140720732579608 4908302 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 40706048 140720732587196 140720732587331 140720732587331 140720732590030 0 /proc/7492/statm: 24456 17397 770 434 0 17820 0 Current children cumulated CPU time (s) 315.11 Current children cumulated vsize (KiB) 97824 Child status: 0 Real time (s): 315.384 CPU time (s): 315.211 CPU user time (s): 315.14 CPU system time (s): 0.070962 CPU usage (%): 99.9451 Max. virtual memory (cumulated for all children) (KiB): 97824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 315.14 system time used= 0.070962 maximum resident set size= 69672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76838 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= 11 involuntary context switches= 16372 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.817323 second user time and 1.37385 second system time The end
Begin job on node104 at 2017-07-21 11:22:41 IDJOB=4241081 IDBENCH=125996 IDSOLVER=2621 FILE ID=node104/4241081-1500628961 RUNJOBID= node104-1500623789-5344 PBS_JOBID= 20623023 Free space on /tmp= 62016 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241081-1500628961/watcher-4241081-1500628961 -o /tmp/evaluation-result-4241081-1500628961/solver-4241081-1500628961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241081-1500628961.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc RANDOM SEED=1118955732 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.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.50 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 : 1600.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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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 : 1867.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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31987208 kB MemAvailable: 31977688 kB Buffers: 124652 kB Cached: 151664 kB SwapCached: 0 kB Active: 265504 kB Inactive: 92592 kB Active(anon): 30008 kB Inactive(anon): 70916 kB Active(file): 235496 kB Inactive(file): 21676 kB Unevictable: 6312 kB Mlocked: 6312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4428 kB Writeback: 0 kB AnonPages: 91452 kB Mapped: 34756 kB Shmem: 17044 kB Slab: 124136 kB SReclaimable: 98284 kB SUnreclaim: 25852 kB KernelStack: 3488 kB PageTables: 5784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 364320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62016 MiB End job on node104 at 2017-07-21 11:27:56