| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | UNSAT | 240.588 | 240.729 |
| Name | Random/Random-m1-15-23-3/ rand-15-23-3-16-150000-18.xml |
| MD5SUM | 63b07d175152d4a4de1c3a3d8a294418 |
| 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 | 26.904301 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 23 |
| Number of constraints | 16 |
| Number of domains | 1 |
| Minimum domain size | 3 |
| Maximum domain size | 3 |
| Distribution of domain sizes | [{"size":3,"count":23}] |
| Minimum variable degree | 8 |
| Maximum variable degree | 13 |
| Distribution of variable degrees | [{"degree":8,"count":2},{"degree":9,"count":4},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":4},{"degree":13,"count":2}] |
| Minimum constraint arity | 15 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":15,"count":16}] |
| Number of extensional constraints | 16 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":16}] |
| Optimization problem | NO |
| Type of objective |
30.68/30.71 c SAT : Variables: 69 -- Clauses: 92 30.78/30.84 c root propagations : 0 30.78/30.84 c restarts enabled, print stats at every restarts 30.78/30.84 c 30.78/30.84 c 30.78/30.84 c 30.78/30.84 c This is cosoco 1.0 -- 30.78/30.84 c 30.78/30.84 c ========================================[ Problem Statistics ]=========================================== 30.78/30.84 c | 30.78/30.84 c | Parse time : 30.61 s 30.78/30.84 c | 30.78/30.84 c | Variables: 23 30.78/30.84 c | Domain Sizes: 3..3 30.78/30.84 c | 30.78/30.84 c | Constraints: 16 30.78/30.84 c | Arity: 15..15 30.78/30.84 c | 30.78/30.84 c | Types: 30.78/30.84 c | Extension: 16 (nb tuples: 150000..150000) -- (shared: 0) 30.78/30.84 c | 30.78/30.84 c ========================================================================================================= 30.78/30.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 30.88/30.95 c 10 32 612 355 0 4 10 12 10 31.08/31.14 c 20 60 1132 663 0 7 9 12 9 31.28/31.38 c 30 86 1636 974 0 11 8 11 8 31.58/31.63 c 40 116 2279 1289 0 14 8 10 8 31.78/31.88 c 50 142 2833 1611 0 18 8 10 8 32.08/32.14 c 60 171 3572 1962 0 20 9 11 9 32.38/32.40 c 70 195 4137 2247 0 22 9 11 9 32.58/32.67 c 80 223 4664 2576 0 26 10 11 9 32.88/32.94 c 90 251 5249 2924 0 27 8 11 9 33.18/33.23 c 100 277 5803 3190 0 30 8 11 8 33.48/33.50 c 101 287 6005 3240 0 31 10 10 5 33.68/33.77 c 110 314 6605 3572 0 35 9 11 9 33.98/34.06 c 120 344 7241 3931 0 38 10 11 9 34.28/34.35 c 130 371 7945 4304 0 40 8 11 8 34.58/34.63 c 140 398 8560 4646 0 43 10 11 9 34.88/34.91 c 150 424 9143 4956 0 46 10 11 9 35.18/35.20 c 160 451 9745 5287 0 49 9 11 9 35.38/35.49 c 170 479 10327 5630 0 53 10 11 9 35.68/35.78 c 180 509 10912 5945 0 56 10 11 9 35.98/36.07 c 190 540 11590 6257 0 58 10 11 9 36.28/36.35 c 200 574 12284 6621 0 61 10 11 9 36.58/36.64 c 210 606 12993 6958 0 65 9 11 9 36.88/36.92 c 211 617 13174 7003 0 66 11 11 5 37.17/37.21 c 220 647 13770 7304 0 68 9 11 9 37.38/37.48 c 230 681 14473 7664 0 73 9 11 9 37.67/37.79 c 240 715 15205 8047 0 77 10 11 9 37.97/38.08 c 250 750 15924 8439 0 80 10 11 9 38.27/38.38 c 260 778 16660 8754 0 83 8 10 8 38.58/38.66 c 270 809 17405 9127 0 86 10 11 9 38.87/38.95 c 280 836 18032 9446 0 89 10 11 9 39.17/39.23 c 290 863 18601 9776 0 92 10 11 9 39.47/39.51 c 300 893 19277 10144 0 96 10 11 9 39.68/39.79 c 310 922 19930 10488 0 100 10 11 9 39.97/40.09 c 320 955 20760 10888 0 104 10 11 9 40.27/40.38 c 330 985 21421 11271 0 105 10 11 9 40.57/40.66 c 332 997 21639 11332 0 106 11 11 7 40.88/40.97 c 340 1022 22135 11570 0 110 8 11 9 41.17/41.26 c 350 1049 22756 11916 0 113 10 11 9 41.47/41.54 c 360 1079 23394 12227 0 118 8 11 9 41.78/41.82 c 370 1115 24129 12596 0 121 8 11 9 42.07/42.10 c 380 1151 24957 12947 0 124 10 11 9 42.27/42.39 c 390 1177 25512 13281 0 128 8 11 8 42.57/42.67 c 400 1208 26182 13604 0 131 10 12 9 42.88/42.97 c 410 1237 26739 13874 0 135 8 11 8 43.17/43.26 c 420 1271 27497 14286 0 136 10 11 9 43.47/43.55 c 430 1299 28174 14648 0 138 10 11 9 43.77/43.84 c 440 1330 28802 14988 0 140 9 11 9 44.08/44.11 c 450 1355 29313 15311 0 143 10 10 9 44.37/44.40 c 460 1384 29934 15635 0 146 10 11 9 44.57/44.69 c 465 1401 30287 15789 0 149 8 11 8 44.87/44.97 c 470 1420 30649 15969 0 150 8 10 8 45.18/45.27 c 480 1453 31292 16333 0 153 10 11 9 45.47/45.57 c 490 1482 31900 16653 0 155 10 11 9 45.77/45.86 c 500 1509 32439 16956 0 158 9 11 9 46.07/46.15 conflict 6lvl : 6 bt6-49:0(6)X2169 46.18/46.24 -> -49:X(6)c 510 1540 33088 17302 0 163 9 11 9 46.47/46.55 c 520 1571 33754 17656 0 166 9 12 9 46.77/46.86 c 530 1602 34415 17991 0 170 10 10 9 47.07/47.16 c 540 1636 35148 18410 0 172 9 11 9 47.37/47.46 c 550 1665 35877 18759 0 174 8 11 8 47.67/47.75 c 560 1694 36521 19104 0 178 9 11 9 47.97/48.04 c 570 1724 37121 19493 0 180 9 11 9 48.27/48.34 conflict 7lvl : 7 bt7-7:0(7)X2417 48.27/48.37 -> -7:X(7)c 580 1759 37887 19871 0 183 9 11 9 48.57/48.68 c 590 1787 38629 20247 0 186 8 11 8 48.97/49.00 c 600 1818 39351 20635 0 189 9 11 9 49.27/49.30 c 610 1857 40232 21060 0 191 9 11 9 49.47/49.59 conflict 7lvl : 7 bt7-55:0(7)X2543 49.57/49.63 -> -55:X(7)c 611 1870 40478 21134 0 193 10 10 5 49.87/49.93 c 620 1903 41181 21478 0 196 10 11 9 50.17/50.23 c 630 1933 41907 21827 0 198 9 11 9 50.47/50.53 c 640 1962 42590 22176 0 202 9 10 9 50.77/50.83 c 650 1995 43261 22528 0 205 9 11 9 51.07/51.15 c 660 2026 44104 22870 0 209 8 11 8 51.37/51.47 c 670 2057 44853 23188 0 212 10 11 9 51.67/51.77 c 680 2087 45441 23532 0 216 9 11 9 51.97/52.08 conflict 6lvl : 8 bt7-49:0(8)X2816 52.07/52.10 c 690 2122 46210 23905 0 221 8 11 8 52.37/52.40 c 700 2152 46814 24272 0 222 8 11 8 52.66/52.71 c 710 2179 47440 24612 0 224 9 11 9 52.96/53.01 c 720 2208 48048 24982 0 228 8 11 9 53.26/53.32 c 730 2238 48734 25312 0 231 8 11 8 53.56/53.62 c 740 2268 49351 25647 0 234 10 11 9 53.87/53.93 c 750 2299 50081 26004 0 238 8 11 8 54.16/54.24 c 760 2336 50902 26412 0 242 8 11 9 54.46/54.56 c 770 2364 51472 26728 0 245 8 11 8 54.76/54.85 c 771 2374 51633 26762 0 246 10 10 5 55.07/55.16 c 780 2402 52196 27075 0 249 8 11 8 55.36/55.47 c 790 2436 52904 27466 0 252 10 11 9 55.76/55.80 c 800 2474 53665 27862 0 254 9 10 8 56.07/56.10 c 810 2504 54309 28205 0 257 9 11 9 56.36/56.41 c 820 2530 54870 28542 0 259 8 11 8 56.66/56.70 conflict 7lvl : 8 bt8-29:0(7)X3286 56.66/56.73 -> -29:X(7)c 830 2558 55432 28829 0 262 10 11 9 56.96/57.02 c 840 2589 56062 29188 0 264 10 11 9 57.27/57.34 c 850 2620 56660 29513 0 267 8 11 9 57.56/57.67 c 860 2655 57453 29850 0 270 8 10 8 57.86/57.96 c 870 2685 58149 30244 0 272 9 11 9 58.16/58.25 c 880 2713 58802 30538 0 276 8 11 8 58.46/58.55 c 890 2739 59305 30793 0 279 9 11 9 58.76/58.86 c 900 2769 59975 31150 0 282 8 11 9 59.06/59.16 c 910 2798 60550 31488 0 285 10 11 9 59.37/59.47 c 920 2831 61299 31831 0 288 7 11 8 59.66/59.77 c 930 2856 61866 32127 0 291 9 11 9 59.96/60.06 c 940 2886 62565 32458 0 294 10 11 9 60.26/60.36 c 947 2908 63066 32704 0 296 10 11 8 60.57/60.64 c 950 2921 63324 32796 0 298 9 11 7 60.86/60.93 c 960 2948 63950 33117 0 302 10 11 9 61.16/61.25 c 970 2981 64704 33506 0 303 9 11 9 61.46/61.54 c 980 3012 65369 33823 0 306 10 11 9 61.76/61.84 c 990 3045 66158 34184 0 309 10 11 9 62.06/62.14 c 1000 3077 66838 34559 0 313 10 11 9 62.36/62.46 c 1010 3106 67434 34895 0 316 9 11 9 62.67/62.75 c 1020 3134 68014 35251 0 320 10 11 9 62.96/63.04 c 1030 3161 68643 35608 0 323 8 11 8 63.26/63.34 c 1040 3192 69304 36000 0 325 10 11 9 63.56/63.64 c 1050 3219 69848 36288 0 328 10 10 9 63.86/63.95 c 1060 3246 70451 36566 0 329 9 11 9 64.16/64.23 c 1070 3272 71034 36872 0 331 9 11 9 64.46/64.54 c 1080 3302 71688 37222 0 335 10 11 9 64.76/64.89 c 1090 3334 72359 37562 0 337 9 11 9 65.16/65.22 c 1100 3366 72982 37908 0 340 8 11 9 65.46/65.51 c 1110 3391 73532 38197 0 344 9 10 9 65.76/65.84 c 1120 3422 74229 38608 0 345 9 11 9 66.06/66.17 c 1130 3453 74886 38997 0 348 10 11 9 66.36/66.48 c 1140 3478 75384 39304 0 351 10 10 9 66.66/66.77 c 1141 3488 75567 39353 0 352 10 10 5 66.96/67.07 c 1150 3512 76119 39598 0 355 8 11 8 67.26/67.38 c 1160 3545 76849 39980 0 357 8 11 9 67.56/67.69 c 1170 3574 77516 40350 0 361 10 11 9 67.86/67.98 c 1180 3601 78121 40658 0 363 10 10 9 68.16/68.26 c 1190 3628 78704 40998 0 364 9 11 9 68.46/68.57 c 1200 3656 79298 41312 0 367 10 11 9 68.76/68.88 c 1210 3682 79941 41648 0 368 9 11 9 69.16/69.20 c 1220 3712 80514 41980 0 371 10 10 9 69.46/69.50 c 1230 3737 81088 42281 0 374 8 11 9 69.76/69.80 c 1240 3763 81651 42622 0 377 10 10 9 69.96/70.09 c 1250 3793 82275 43000 0 380 10 11 9 70.26/70.38 c 1260 3819 82816 43297 0 383 8 11 8 70.56/70.68 c 1270 3848 83441 43648 0 385 10 11 9 70.86/70.99 c 1280 3880 84074 44030 0 388 10 11 9 71.15/71.29 c 1290 3912 84795 44407 0 391 10 11 9 71.46/71.59 c 1300 3942 85394 44776 0 394 10 11 9 71.75/71.89 c 1310 3974 86077 45137 0 398 10 11 9 72.15/72.20 c 1320 4002 86657 45497 0 400 10 11 9 72.45/72.50 c 1330 4029 87207 45796 0 404 10 10 9 72.66/72.79 conflict 9lvl : 9 bt9-28:0(9)X4884 72.75/72.80 -> -28:X(9)c 1340 4060 87871 46126 0 408 9 11 9 73.05/73.12 c 1350 4094 88522 46511 0 411 7 11 9 73.35/73.42 c 1352 4106 88741 46611 0 412 10 10 6 73.66/73.72 c 1360 4134 89373 46925 0 414 10 11 9 73.95/74.02 c 1370 4161 89942 47248 0 417 10 11 9 74.25/74.34 c 1380 4190 90555 47590 0 420 10 11 9 74.55/74.63 c 1390 4220 91230 47963 0 423 10 11 9 74.86/74.94 c 1400 4248 91797 48275 0 427 9 11 9 75.15/75.26 c 1410 4284 92606 48694 0 431 10 11 9 75.45/75.58 c 1420 4320 93316 49109 0 434 9 11 9 75.75/75.88 c 1430 4349 93960 49444 0 437 10 11 9 76.15/76.20 c 1440 4379 94608 49770 0 441 9 11 8 76.35/76.50 c 1450 4407 95199 50134 0 445 10 11 9 76.75/76.81 c 1460 4441 95957 50539 0 448 8 11 9 77.06/77.10 c 1470 4476 96683 50930 0 451 10 11 9 77.35/77.40 c 1480 4507 97352 51266 0 453 9 11 9 77.65/77.71 c 1490 4538 98130 51702 0 455 10 11 9 77.95/78.02 c 1500 4572 98938 52126 0 458 10 11 9 78.25/78.31 c 1510 4601 99517 52490 0 462 10 11 9 78.55/78.61 c 1520 4626 100055 52748 0 465 9 11 9 78.85/78.92 c 1530 4658 100740 53104 0 467 10 11 9 79.16/79.22 c 1540 4691 101403 53426 0 471 10 11 9 79.45/79.51 c 1550 4720 102047 53765 0 474 10 11 9 79.75/79.83 c 1560 4760 102879 54218 0 476 10 11 9 80.05/80.14 c 1570 4791 103556 54569 0 478 10 11 9 80.36/80.44 c 1580 4833 104340 55010 0 480 9 11 9 80.65/80.74 c 1585 4852 104808 55221 0 483 10 10 8 80.95/81.03 c 1590 4872 105246 55422 0 487 10 10 8 81.25/81.33 c 1600 4899 105826 55710 0 490 9 11 9 81.55/81.64 c 1610 4927 106398 56033 0 494 10 11 9 81.85/81.98 c 1620 4957 107025 56383 0 497 10 11 9 82.15/82.29 c 1630 4986 107633 56721 0 499 9 11 9 82.45/82.59 c 1640 5016 108278 57103 0 502 10 11 9 82.85/82.92 c 1650 5055 109059 57496 0 504 7 12 9 83.15/83.22 c 1660 5084 109714 57859 0 508 10 11 9 83.45/83.55 c 1670 5113 110255 58189 0 511 10 10 9 83.75/83.86 c 1680 5141 110849 58516 0 514 10 11 9 84.05/84.17 c 1690 5168 111401 58821 0 517 10 10 9 84.45/84.50 c 1700 5200 112065 59200 0 520 10 11 9 84.75/84.80 c 1710 5228 112686 59540 0 524 10 11 9 85.05/85.12 c 1720 5264 113437 59896 0 526 7 11 8 85.35/85.42 c 1730 5291 114079 60229 0 529 10 11 9 85.65/85.72 c 1740 5322 114817 60617 0 533 10 11 9 85.95/86.03 c 1750 5355 115497 61006 0 535 10 11 9 86.25/86.34 c 1760 5385 116114 61329 0 538 10 11 9 86.55/86.64 c 1770 5414 116764 61708 0 541 9 11 9 86.85/86.93 c 1780 5442 117375 62048 0 543 10 11 9 87.15/87.22 c 1790 5469 117951 62374 0 547 10 11 9 87.45/87.53 c 1800 5501 118620 62739 0 550 10 11 9 87.75/87.83 c 1810 5531 119252 63034 0 551 8 11 9 88.05/88.14 c 1820 5563 119945 63373 0 554 10 11 9 88.34/88.45 c 1830 5593 120566 63728 0 557 10 11 9 88.64/88.74 c 1840 5618 121052 64001 0 559 9 11 9 88.94/89.04 c 1841 5628 121301 64070 0 560 10 10 5 89.24/89.35 c 1850 5659 121905 64422 0 562 10 11 9 89.54/89.64 c 1860 5684 122470 64721 0 564 10 10 9 89.84/89.95 c 1870 5710 123023 65065 0 566 10 11 9 90.15/90.27 c 1880 5741 123716 65454 0 569 10 11 9 90.44/90.57 c 1890 5771 124433 65806 0 570 10 11 9 90.74/90.88 c 1900 5801 125049 66177 0 573 10 11 9 91.04/91.19 c 1910 5829 125600 66493 0 574 10 12 9 91.35/91.49 c 1920 5855 126133 66805 0 577 10 11 9 91.74/91.80 c 1930 5883 126787 67133 0 580 9 11 9 92.04/92.11 c 1940 5911 127398 67496 0 584 10 10 9 92.35/92.41 c 1950 5943 128062 67862 0 586 10 11 9 92.64/92.72 c 1960 5971 128673 68156 0 589 7 11 8 92.94/93.03 c 1970 5997 129274 68479 0 593 9 11 9 93.24/93.34 c 1980 6027 129952 68824 0 597 10 11 9 93.55/93.66 c 1990 6067 130720 69206 0 599 10 11 9 93.84/93.96 c 2000 6097 131370 69554 0 603 10 11 9 94.14/94.26 c 2010 6124 131963 69884 0 607 9 11 9 94.44/94.57 c 2020 6152 132597 70231 0 610 9 11 9 94.74/94.87 c 2030 6182 133266 70556 0 612 10 12 9 95.04/95.18 c 2040 6213 133953 70924 0 615 10 11 9 95.34/95.49 c 2050 6243 134620 71249 0 618 10 10 9 95.65/95.79 c 2060 6271 135304 71643 0 622 10 10 9 96.04/96.10 c 2070 6300 135913 71990 0 625 10 11 9 96.24/96.39 c 2080 6331 136625 72387 0 628 9 11 9 96.54/96.69 c 2090 6358 137209 72698 0 631 10 10 9 96.94/97.00 c 2100 6384 137830 73061 0 632 10 11 9 97.24/97.31 c 2110 6415 138491 73425 0 634 10 10 9 97.44/97.59 c 2120 6442 139118 73782 0 637 10 12 9 97.74/97.88 c 2122 6454 139338 73872 0 638 10 11 7 98.04/98.17 c 2130 6479 139844 74153 0 640 10 10 8 98.34/98.47 c 2140 6512 140530 74525 0 643 10 11 9 98.64/98.76 c 2150 6538 141078 74812 0 646 8 11 8 98.94/99.08 c 2160 6569 141769 75193 0 650 10 12 9 99.34/99.40 c 2170 6600 142433 75575 0 653 10 12 9 99.64/99.70 c 2180 6628 143148 75957 0 657 10 11 9 99.84/99.99 c 2190 6655 143719 76246 0 659 10 12 9 100.24/100.30 c 2200 6689 144378 76611 0 662 10 11 9 100.44/100.59 c 2210 6719 144978 76966 0 665 10 11 9 100.74/100.89 c 2220 6745 145549 77269 0 666 10 11 9 101.04/101.18 c 2230 6776 146191 77597 0 669 10 11 9 101.34/101.48 c 2240 6804 146895 77949 0 672 8 11 8 101.64/101.77 c 2250 6831 147448 78269 0 675 10 11 9 101.94/102.06 c 2260 6861 148052 78638 0 679 9 11 9 102.24/102.35 c 2270 6892 148713 78998 0 681 10 12 9 102.54/102.64 c 2280 6926 149391 79420 0 685 10 11 9 102.84/102.95 c 2290 6961 150183 79832 0 688 8 11 8 103.14/103.23 c 2300 6987 150717 80167 0 691 10 11 9 103.44/103.52 c 2310 7017 151392 80520 0 695 8 10 8 103.74/103.81 c 2320 7044 151970 80792 0 698 10 11 9 104.04/104.10 c 2330 7076 152665 81176 0 702 10 10 9 104.24/104.40 c 2340 7107 153364 81533 0 706 9 10 9 104.54/104.68 c 2350 7138 153995 81862 0 709 10 10 9 104.83/104.97 c 2360 7171 154766 82199 0 711 10 11 9 105.13/105.26 c 2370 7198 155334 82514 0 714 10 10 9 105.43/105.55 c 2380 7238 156192 82907 0 716 10 11 9 105.73/105.83 c 2390 7269 156874 83277 0 720 10 11 9 106.03/106.11 c 2400 7298 157463 83593 0 723 10 11 9 106.23/106.39 c 2410 7325 158013 83915 0 727 10 11 9 106.53/106.69 c 2420 7357 158738 84325 0 731 10 11 9 106.83/106.98 c 2430 7385 159341 84645 0 734 10 11 9 107.13/107.27 c 2431 7395 159511 84706 0 735 10 10 5 107.43/107.55 c 2440 7425 160224 85043 0 737 10 11 9 107.74/107.84 c 2450 7456 160864 85398 0 740 10 11 9 108.03/108.12 c 2460 7486 161514 85774 0 742 10 11 9 108.33/108.42 c 2470 7519 162244 86115 0 746 9 11 9 108.63/108.72 conflict 7lvl : 9 bt9-25:0(7)X8667 108.63/108.72 c 2480 7554 162965 86496 0 749 10 11 9 108.94/109.01 c 2490 7585 163704 86864 0 753 9 11 9 109.13/109.30 c 2500 7611 164260 87178 0 757 10 10 9 109.43/109.59 c 2510 7641 164915 87527 0 760 9 12 9 109.73/109.88 c 2520 7675 165564 87890 0 762 9 11 9 110.04/110.16 conflict 7lvl : 9 bt8-61:0(8)X8857 110.04/110.17 -> -61:X(8)c 2530 7706 166180 88199 0 766 10 11 9 110.33/110.46 c 2540 7738 166863 88535 0 768 10 11 9 110.63/110.75 c 2550 7766 167427 88876 0 771 10 11 9 110.93/111.04 c 2560 7796 168035 89185 0 774 9 11 9 111.23/111.31 c 2570 7825 168662 89529 0 777 10 11 9 111.53/111.60 c 2580 7852 169226 89861 0 779 8 10 8 111.73/111.88 c 2590 7877 169758 90166 0 782 10 10 9 112.03/112.16 c 2600 7905 170329 90474 0 787 9 10 9 112.33/112.45 c 2610 7934 170981 90824 0 789 8 11 9 112.63/112.73 c 2620 7965 171608 91182 0 793 10 11 9 112.93/113.05 c 2630 7996 172229 91526 0 796 10 11 9 113.24/113.34 c 2640 8025 172847 91885 0 799 10 10 9 113.53/113.68 c 2650 8057 173530 92264 0 801 10 11 9 113.83/113.98 c 2660 8089 174185 92654 0 805 10 11 9 114.13/114.28 c 2670 8119 174828 92952 0 808 9 11 9 114.43/114.58 c 2680 8148 175511 93307 0 814 10 10 9 114.73/114.88 c 2690 8178 176132 93684 0 818 10 12 9 115.03/115.18 c 2700 8210 176894 94039 0 822 9 11 9 115.43/115.53 c 2710 8243 177573 94413 0 826 10 11 9 115.73/115.86 c 2720 8276 178247 94773 0 828 10 11 9 116.03/116.15 c 2730 8309 179027 95198 0 832 9 11 9 116.33/116.43 conflict 8lvl : 8 bt8-25:0(8)X9651 116.33/116.44 -> -25:X(8)c 2740 8339 179654 95547 0 834 9 11 9 116.63/116.75 c 2750 8378 180407 95946 0 835 9 12 9 116.93/117.03 c 2760 8405 180959 96249 0 838 10 11 9 117.23/117.32 c 2770 8440 181697 96647 0 839 10 11 9 117.53/117.61 c 2771 8450 181905 96704 0 840 10 10 5 117.83/117.90 c 2780 8481 182506 97006 0 843 10 11 9 118.13/118.21 c 2790 8511 183099 97355 0 845 9 11 9 118.43/118.51 c 2800 8537 183613 97653 0 848 10 11 9 118.73/118.81 c 2810 8566 184240 97960 0 851 8 11 9 119.03/119.13 c 2820 8597 184810 98253 0 854 9 12 9 119.32/119.42 c 2830 8623 185352 98557 0 856 10 11 9 119.62/119.72 c 2840 8651 185948 98905 0 859 10 11 9 119.93/120.01 c 2850 8689 186703 99317 0 861 9 10 9 120.22/120.30 c 2860 8720 187300 99616 0 863 10 11 9 120.42/120.59 c 2870 8747 187866 99941 0 867 10 11 9 120.72/120.88 conflict 8lvl : 9 bt9-61:0(8)X10050 120.72/120.88 c 2880 8778 188537 100272 0 870 10 11 9 121.03/121.19 c 2890 8810 189247 100641 0 873 10 11 9 121.32/121.49 c 2900 8845 189916 100987 0 875 10 11 9 121.62/121.78 c 2910 8871 190501 101320 0 876 10 10 9 121.92/122.09 c 2920 8901 191145 101682 0 877 10 10 9 122.22/122.38 c 2930 8929 191732 101994 0 880 10 11 9 122.52/122.68 c 2940 8962 192473 102343 0 883 9 10 8 122.82/122.98 c 2950 8990 193066 102662 0 886 10 10 9 123.13/123.27 c 2960 9020 193674 103017 0 889 10 11 9 123.42/123.56 c 2970 9048 194344 103348 0 893 10 11 9 123.72/123.86 c 2980 9077 194939 103678 0 896 10 11 9 124.02/124.16 c 2990 9106 195545 104026 0 898 10 10 9 124.33/124.46 c 3000 9135 196249 104381 0 901 9 11 9 124.62/124.76 c 3010 9161 196798 104704 0 902 10 10 9 124.92/125.05 c 3020 9195 197502 105129 0 905 10 11 9 125.22/125.36 c 3030 9226 198159 105456 0 907 10 10 9 125.52/125.66 c 3040 9259 198858 105803 0 910 10 11 9 125.82/125.96 c 3050 9286 199460 106128 0 913 10 11 9 126.12/126.27 c 3060 9320 200155 106452 0 916 10 11 9 126.43/126.58 c 3070 9349 200829 106767 0 920 9 11 9 126.72/126.88 c 3080 9387 201680 107183 0 922 8 10 8 127.02/127.18 c 3090 9422 202381 107547 0 925 10 11 9 127.32/127.48 c 3100 9451 203028 107860 0 930 10 10 9 127.62/127.79 c 3110 9480 203629 108181 0 931 8 11 9 128.02/128.12 c 3120 9517 204310 108491 0 935 10 10 9 128.32/128.42 c 3130 9549 204951 108827 0 939 10 11 9 128.62/128.72 c 3140 9576 205634 109182 0 940 8 11 9 128.92/129.02 c 3142 9588 205901 109271 0 941 10 10 6 129.22/129.31 c 3150 9611 206407 109539 0 944 10 10 8 129.52/129.62 c 3160 9639 206971 109889 0 947 10 10 9 129.82/129.92 c 3170 9670 207670 110239 0 949 8 11 9 130.12/130.23 c 3180 9702 208349 110570 0 953 9 11 9 130.42/130.54 c 3190 9730 208984 110879 0 957 10 11 9 130.72/130.85 c 3200 9761 209687 111242 0 959 10 11 9 131.02/131.14 c 3210 9790 210298 111583 0 960 10 11 9 131.32/131.44 c 3220 9818 210860 111912 0 963 9 11 9 131.62/131.74 c 3230 9850 211541 112259 0 966 8 11 9 131.92/132.04 c 3240 9879 212159 112623 0 970 10 11 9 132.21/132.35 c 3250 9907 212712 112929 0 972 8 11 8 132.51/132.66 c 3260 9937 213438 113269 0 974 10 11 9 132.81/132.96 c 3270 9972 214141 113674 0 978 10 11 9 133.12/133.26 c 3280 9999 214770 114028 0 982 9 11 9 133.41/133.55 c 3290 10033 215490 114428 0 985 9 11 9 133.71/133.85 c 3300 10065 216182 114796 0 989 9 12 9 134.01/134.15 c 3310 10094 216815 115173 0 992 9 11 9 134.31/134.45 c 3320 10122 217415 115474 0 996 8 11 9 134.61/134.76 c 3330 10152 218108 115824 0 998 9 11 9 134.91/135.05 c 3340 10179 218706 116166 0 1002 10 11 9 135.22/135.37 c 3350 10211 219347 116514 0 1005 9 11 9 135.51/135.67 c 3360 10241 219991 116898 0 1009 10 11 9 135.81/135.97 c 3370 10269 220625 117244 0 1013 10 11 9 136.11/136.27 c 3380 10295 221193 117599 0 1015 10 11 9 136.42/136.58 c 3390 10324 221834 117933 0 1018 10 12 9 136.71/136.88 c 3400 10354 222521 118354 0 1020 10 11 9 137.01/137.19 c 3410 10389 223303 118786 0 1021 7 12 9 137.31/137.48 c 3420 10416 223938 119115 0 1024 8 11 9 137.61/137.78 c 3430 10444 224519 119431 0 1028 10 10 9 137.91/138.08 c 3440 10472 225078 119707 0 1031 10 11 9 138.21/138.37 c 3450 10502 225758 120048 0 1034 10 11 9 138.51/138.66 c 3460 10530 226385 120382 0 1036 9 11 9 138.81/138.94 c 3470 10561 227047 120731 0 1038 10 11 9 139.11/139.24 c 3480 10593 227722 121163 0 1043 10 11 9 139.41/139.52 c 3490 10620 228337 121449 0 1045 10 10 9 139.71/139.82 c 3500 10652 229091 121816 0 1048 10 11 9 140.01/140.12 c 3510 10681 229764 122181 0 1051 10 11 9 140.31/140.42 c 3520 10710 230464 122528 0 1054 10 11 9 140.61/140.70 c 3530 10742 231210 122908 0 1057 10 11 9 140.81/140.99 c 3540 10771 231864 123241 0 1061 9 11 9 141.10/141.29 c 3550 10797 232402 123545 0 1065 9 11 9 141.40/141.59 c 3551 10807 232616 123611 0 1066 10 10 5 141.70/141.90 c 3560 10836 233262 123968 0 1070 9 10 8 142.10/142.20 c 3570 10872 233996 124355 0 1074 10 11 9 142.30/142.49 c 3580 10902 234616 124689 0 1077 8 11 9 142.60/142.79 c 3590 10932 235241 125055 0 1080 10 11 9 142.91/143.09 c 3600 10966 235912 125437 0 1083 9 12 9 143.30/143.40 c 3610 10998 236662 125838 0 1088 9 10 8 143.50/143.69 c 3620 11024 237226 126160 0 1089 10 10 9 143.80/143.98 c 3630 11054 237907 126455 0 1093 8 11 8 144.11/144.28 c 3640 11084 238539 126836 0 1095 8 11 9 144.41/144.57 c 3650 11114 239233 127220 0 1099 10 11 9 144.71/144.87 c 3660 11141 239808 127530 0 1101 9 11 9 145.01/145.16 conflict 7lvl : 8 bt8-7:0(7)X12624 145.01/145.17 -> -7:X(7)c 3670 11177 240541 127949 0 1103 10 11 9 145.31/145.46 conflict 6lvl : 7 bt7-7:0(6)X12655 145.31/145.50 -> -7:X(6)c 3680 11209 241210 128296 0 1105 10 11 9 145.61/145.78 c 3690 11234 241786 128622 0 1107 10 11 9 145.91/146.07 c 3700 11263 242375 128946 0 1109 9 11 9 146.21/146.36 c 3710 11299 243082 129328 0 1112 9 11 9 146.61/146.70 c 3720 11332 243724 129638 0 1115 7 10 8 146.91/147.01 c 3730 11367 244528 130092 0 1120 10 12 9 147.21/147.31 c 3740 11394 245136 130428 0 1123 10 10 9 147.51/147.60 c 3750 11435 245959 130839 0 1126 8 10 8 147.71/147.89 c 3760 11465 246590 131177 0 1128 10 11 9 148.01/148.19 c 3770 11493 247200 131509 0 1130 10 11 9 148.31/148.46 c 3780 11519 247768 131844 0 1134 10 10 9 148.61/148.76 c 3790 11551 248470 132183 0 1137 10 11 9 148.91/149.05 c 3800 11580 249076 132514 0 1141 10 11 9 149.21/149.35 c 3810 11609 249688 132872 0 1143 10 10 9 149.51/149.65 c 3820 11647 250538 133291 0 1147 10 11 9 149.80/149.95 c 3830 11679 251240 133672 0 1151 9 11 9 150.10/150.23 c 3840 11716 251938 134013 0 1154 9 11 9 150.40/150.53 c 3850 11744 252503 134338 0 1157 10 11 9 150.71/150.83 c 3860 11775 253184 134693 0 1161 9 11 9 151.00/151.12 c 3870 11814 253941 135086 0 1164 9 11 9 151.30/151.43 c 3880 11846 254634 135476 0 1168 10 11 9 151.60/151.72 c 3890 11886 255465 135855 0 1170 10 11 9 151.90/152.01 c 3900 11920 256207 136226 0 1172 8 11 8 152.20/152.31 c 3910 11950 256787 136574 0 1176 10 11 9 152.50/152.61 c 3920 11975 257349 136860 0 1177 9 10 9 152.81/152.91 c 3930 12004 257966 137245 0 1179 10 10 9 153.10/153.22 c 3940 12032 258564 137560 0 1182 10 11 9 153.40/153.54 c 3950 12064 259254 137916 0 1184 10 11 9 153.70/153.84 c 3960 12092 259849 138207 0 1188 9 11 9 154.01/154.14 c 3970 12122 260447 138581 0 1190 10 11 9 154.30/154.43 c 3980 12150 261063 138856 0 1193 9 11 9 154.60/154.73 c 3990 12185 261783 139227 0 1195 9 11 9 154.90/155.06 c 4000 12214 262447 139535 0 1198 8 11 8 155.20/155.33 c 4001 12223 262608 139564 0 1199 9 9 4 155.50/155.63 c 4010 12256 263322 139940 0 1203 10 10 9 155.80/155.95 c 4020 12289 264044 140327 0 1207 10 10 9 156.11/156.24 c 4030 12319 264697 140690 0 1209 8 11 9 156.40/156.54 c 4040 12349 265288 141007 0 1213 9 11 9 156.70/156.83 c 4050 12376 265868 141391 0 1216 10 11 9 157.00/157.11 c 4060 12401 266416 141718 0 1218 8 10 8 157.21/157.39 c 4070 12428 267014 142028 0 1222 9 11 9 157.60/157.72 c 4080 12460 267756 142440 0 1225 10 11 9 157.90/158.00 c 4090 12491 268332 142746 0 1227 10 12 9 158.10/158.29 c 4100 12526 269095 143076 0 1230 8 10 8 158.40/158.57 c 4110 12555 269707 143446 0 1233 10 11 9 158.70/158.86 c 4120 12589 270400 143760 0 1235 7 11 8 159.00/159.14 c 4130 12618 270979 144085 0 1238 10 11 9 159.30/159.42 c 4140 12647 271610 144403 0 1241 10 11 9 159.60/159.71 c 4150 12678 272291 144785 0 1246 8 11 8 159.80/159.99 c 4160 12706 272883 145059 0 1252 9 11 9 160.10/160.27 c 4170 12737 273530 145368 0 1254 6 10 7 160.40/160.57 c 4180 12765 274123 145679 0 1258 9 11 9 160.70/160.86 c 4190 12795 274797 145994 0 1261 10 11 9 161.00/161.14 c 4200 12824 275339 146321 0 1265 8 11 8 161.30/161.41 c 4210 12851 275894 146601 0 1267 10 10 9 161.50/161.70 c 4220 12881 276594 147003 0 1270 10 12 9 161.80/161.97 c 4230 12906 277119 147300 0 1275 10 10 9 162.10/162.27 c 4240 12937 277764 147663 0 1278 10 11 9 162.40/162.55 c 4250 12967 278437 148011 0 1281 9 11 9 162.70/162.86 c 4260 12997 279124 148341 0 1285 9 12 9 163.00/163.14 c 4270 13025 279746 148660 0 1288 9 11 9 163.30/163.43 c 4280 13053 280360 148950 0 1291 10 10 9 163.60/163.72 c 4290 13081 280985 149247 0 1295 9 11 9 163.90/164.01 c 4300 13110 281572 149595 0 1297 10 10 9 164.09/164.29 c 4310 13134 282082 149900 0 1298 9 11 9 164.39/164.58 c 4320 13163 282785 150262 0 1301 10 11 9 164.69/164.87 c 4330 13192 283442 150625 0 1303 10 10 9 165.00/165.15 c 4340 13219 284022 150947 0 1306 9 11 9 165.29/165.45 c 4350 13256 284873 151355 0 1308 8 11 9 165.59/165.74 c 4360 13284 285479 151706 0 1312 10 11 9 165.89/166.02 c 4370 13315 286168 152090 0 1315 10 11 9 166.19/166.30 c 4380 13340 286776 152390 0 1317 10 10 9 166.39/166.59 c 4390 13368 287395 152715 0 1321 10 10 9 166.69/166.88 c 4400 13395 288030 153049 0 1322 10 11 9 166.99/167.16 c 4410 13421 288630 153385 0 1325 9 11 9 167.29/167.45 c 4420 13447 289245 153680 0 1329 9 10 9 167.59/167.74 c 4430 13477 289879 154042 0 1331 9 11 9 167.89/168.03 c 4440 13503 290444 154376 0 1334 9 11 9 168.20/168.31 c 4450 13535 291143 154721 0 1337 10 11 9 168.49/168.62 c 4460 13568 291790 155044 0 1340 10 11 9 168.79/168.91 c 4470 13600 292471 155409 0 1344 10 10 9 169.09/169.21 c 4480 13632 293114 155772 0 1348 10 11 9 169.40/169.51 c 4490 13665 293807 156119 0 1351 9 11 9 169.59/169.79 c 4493 13680 294096 156243 0 1353 10 10 7 169.89/170.08 c 4500 13700 294512 156460 0 1354 10 11 9 170.19/170.36 c 4510 13728 295085 156757 0 1358 10 11 9 170.50/170.65 conflict 8lvl : 9 bt9-7:0(8)X15465 170.50/170.66 -> -7:X(8)c 4520 13759 295765 157098 0 1362 10 11 9 170.79/170.94 c 4530 13787 296298 157392 0 1364 9 11 9 171.09/171.24 c 4540 13826 297108 157808 0 1366 9 11 9 171.39/171.53 c 4550 13856 297738 158170 0 1370 10 11 9 171.69/171.81 c 4560 13884 298309 158507 0 1373 8 11 8 171.99/172.11 c 4570 13914 298986 158866 0 1376 9 11 9 172.19/172.39 c 4580 13949 299765 159271 0 1380 9 11 9 172.49/172.69 c 4590 13979 300431 159588 0 1383 8 11 8 172.79/172.99 c 4600 14018 301283 159992 0 1386 9 11 9 173.09/173.29 c 4610 14051 301943 160398 0 1389 10 11 9 173.39/173.59 c 4620 14082 302578 160717 0 1394 9 11 9 173.69/173.87 c 4630 14113 303269 161028 0 1396 9 11 9 173.99/174.15 c 4640 14142 303894 161366 0 1397 10 11 9 174.29/174.43 c 4650 14176 304594 161720 0 1400 10 11 9 174.59/174.72 c 4660 14206 305247 162020 0 1403 10 12 9 174.79/175.00 c 4670 14238 305973 162400 0 1407 8 11 9 175.09/175.29 c 4680 14267 306678 162740 0 1409 9 11 9 175.39/175.57 c 4690 14297 307422 163062 0 1411 9 11 9 175.69/175.87 c 4700 14328 308123 163472 0 1412 10 11 9 175.99/176.15 c 4710 14357 308805 163830 0 1416 9 11 9 176.29/176.45 c 4720 14387 309442 164164 0 1421 10 11 9 176.59/176.73 c 4730 14417 310087 164490 0 1424 10 11 9 176.89/177.03 c 4740 14455 310900 164884 0 1427 9 10 9 177.19/177.31 c 4750 14483 311561 165250 0 1428 9 11 9 177.49/177.60 c 4760 14514 312261 165612 0 1430 10 11 9 177.69/177.89 c 4770 14549 313117 166017 0 1432 10 11 9 177.99/178.18 c 4780 14577 313721 166312 0 1435 9 11 9 178.29/178.46 c 4790 14609 314387 166659 0 1439 9 11 9 178.59/178.74 c 4800 14639 315070 167014 0 1442 9 11 9 178.89/179.02 c 4810 14666 315640 167332 0 1444 10 10 9 179.09/179.30 c 4820 14695 316310 167707 0 1446 10 10 9 179.39/179.57 c 4830 14723 316886 168018 0 1450 10 11 9 179.69/179.85 conflict 7lvl : 9 bt8-61:0(8)X16481 179.69/179.86 c 4840 14752 317537 168326 0 1453 9 11 9 179.98/180.13 c 4850 14783 318166 168708 0 1456 10 10 9 180.29/180.42 c 4860 14810 318750 169030 0 1458 10 10 9 180.58/180.70 c 4870 14842 319443 169419 0 1460 10 11 9 180.78/180.99 c 4880 14868 319977 169786 0 1461 10 11 9 181.08/181.28 c 4890 14899 320570 170112 0 1465 9 10 9 181.39/181.57 c 4900 14927 321217 170466 0 1469 9 11 9 181.68/181.84 c 4910 14953 321761 170766 0 1472 10 11 9 181.98/182.13 c 4920 14982 322450 171111 0 1474 10 11 9 182.28/182.42 c 4930 15012 323083 171472 0 1475 7 11 8 182.49/182.70 c 4940 15039 323687 171812 0 1477 10 10 9 182.78/182.97 c 4950 15069 324306 172157 0 1479 10 11 9 183.08/183.24 c 4960 15097 324941 172489 0 1480 10 11 9 183.38/183.51 c 4970 15125 325556 172810 0 1483 10 10 9 183.59/183.78 c 4980 15152 326118 173139 0 1487 10 11 9 183.88/184.06 c 4990 15180 326720 173465 0 1490 10 11 9 184.18/184.37 c 5035 15294 329172 174972 0 1496 9 11 9 185.18/185.39 c 5631 16673 360291 194162 0 1503 6 12 10 186.18/186.32 c 6286 18261 394517 216221 0 1510 5 12 10 187.18/187.34 c 7006 19867 430509 238720 0 1517 5 12 10 188.09/188.28 c 7798 21668 469275 263121 0 1523 6 12 9 189.48/189.67 c 8669 23751 515469 292380 0 1529 6 12 10 190.78/190.90 c 9627 25923 563950 321709 0 1538 5 12 9 191.08/191.21 conflict 7lvl : 7 bt7-53:0(7)X17353 192.18/192.38 -> -53:X(7)c 10680 28300 616732 354033 0 1547 6 12 9 192.48/192.65 conflict 4lvl : 8 bt6-13:0(6)X17446 194.18/194.34 c 11838 31267 682349 394241 0 1558 6 12 10 195.68/195.84 c 13111 34279 748693 435744 0 1570 6 12 9 197.38/197.56 c 14511 37613 820030 479050 0 1573 5 12 10 199.47/199.66 c 16051 41213 903148 530406 0 1581 5 12 10 201.37/201.59 c 17745 45167 990091 585557 0 1588 6 12 10 203.38/203.51 c 19608 49468 1083969 645697 0 1598 7 12 10 206.47/206.69 c 21657 54505 1200432 712620 0 1603 5 12 10 209.17/209.30 c 23910 59762 1317500 786164 0 1610 5 12 10 212.57/212.71 c 26388 65789 1454448 865783 0 1618 6 12 10 216.16/216.36 c 29113 72145 1600085 952402 0 1626 5 12 10 216.46/216.66 conflict 4lvl : 8 bt7-7:0(8)X18100 221.66/221.84 c 32110 79466 1769439 1051674 0 1635 5 12 10 226.76/226.95 c 35406 87804 1959775 1161771 0 1645 5 12 10 227.06/227.25 conflict 4lvl : 4 bt4-7:0(4)X18248 231.56/231.76 -> -7:X(4)c 39031 97444 2171406 1285094 1 1649 4 12 10 236.85/237.08 c 43018 107874 2403864 1418661 5 1658 4 12 10 240.55/240.72 c restarts : 539 240.55/240.72 c conflicts : 45271 (188 /sec) 240.55/240.72 c decisions : 114168 (475 /sec) 240.55/240.72 c propagations : 1497452 (6228 /sec) 240.55/240.72 c root propagations : 0 240.55/240.72 c filter calls : 2551648 (10612 /sec) 240.55/240.72 c useless filter calls : 2111975 (82 %) 240.55/240.72 c 240.55/240.72 c clauses : 1747 240.55/240.72 c SAT propagations : 6351 240.55/240.72 c SAT conflicts : 1033 (18 learnts) 240.55/240.72 c Memory used : 285.69 MB 240.55/240.72 c CPU time : 240.443 s 240.55/240.72 240.55/240.72 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-4240328-1500625173/watcher-4240328-1500625173 -o /tmp/evaluation-result-4240328-1500625173/solver-4240328-1500625173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240328-1500625173.xml pid=4444 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 1.99 1.57 3/186 4447 /proc/meminfo: memFree=30954148/32770624 swapFree=6176/1000780 [pid=4447] ppid=4444 vsize=26992 CPUtime=0 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 15794243 27639808 766 33554432000 4194304 5970956 140722452752784 140722452750584 5668446 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 6748 766 684 434 0 112 0 [startup+0.100164 s] /proc/loadavg: 2.02 1.99 1.57 3/186 4447 /proc/meminfo: memFree=30954148/32770624 swapFree=6176/1000780 [pid=4447] ppid=4444 vsize=27596 CPUtime=0.09 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 1089 0 0 0 9 0 0 0 20 0 1 0 15794243 28258304 898 33554432000 4194304 5970956 140722452752784 140722452747384 5674965 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 6899 898 709 434 0 263 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27596 [startup+0.200322 s] /proc/loadavg: 2.02 1.99 1.57 3/186 4447 /proc/meminfo: memFree=30954148/32770624 swapFree=6176/1000780 [pid=4447] ppid=4444 vsize=28316 CPUtime=0.19 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 1298 0 0 0 19 0 0 0 20 0 1 0 15794243 28995584 1070 33554432000 4194304 5970956 140722452752784 140722452749384 5673946 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 7079 1070 709 434 0 443 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28316 [startup+0.300268 s] /proc/loadavg: 2.02 1.99 1.57 3/186 4447 /proc/meminfo: memFree=30954148/32770624 swapFree=6176/1000780 [pid=4447] ppid=4444 vsize=29228 CPUtime=0.29 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 1598 0 0 0 29 0 0 0 20 0 1 0 15794243 29929472 1278 33554432000 4194304 5970956 140722452752784 140722452749384 5672408 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 7307 1278 709 434 0 671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29228 [startup+0.70024 s] /proc/loadavg: 2.02 1.99 1.57 3/186 4447 /proc/meminfo: memFree=30954148/32770624 swapFree=6176/1000780 [pid=4447] ppid=4444 vsize=32636 CPUtime=0.69 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 2607 0 0 0 69 0 0 0 20 0 1 0 15794243 33419264 2090 33554432000 4194304 5970956 140722452752784 140722452749384 140518498008037 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 8159 2090 709 434 0 1523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32636 [startup+1.50023 s] /proc/loadavg: 2.02 1.99 1.57 3/187 4448 /proc/meminfo: memFree=30944252/32770624 swapFree=6176/1000660 [pid=4447] ppid=4444 vsize=39188 CPUtime=1.49 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 4165 0 0 0 148 1 0 0 20 0 1 0 15794243 40128512 3730 33554432000 4194304 5970956 140722452752784 140722452749384 140518498008037 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 9797 3730 709 434 0 3161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39188 [startup+3.10029 s] /proc/loadavg: 2.02 1.99 1.57 3/187 4448 /proc/meminfo: memFree=30912820/32770624 swapFree=6176/1000660 [pid=4447] ppid=4444 vsize=67376 CPUtime=3.08 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 12359 0 0 0 307 1 0 0 20 0 1 0 15794243 68993024 10764 33554432000 4194304 5970956 140722452752784 140722452749384 5674904 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 16844 10764 714 434 0 10208 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 67376 [startup+6.30023 s] /proc/loadavg: 2.02 1.99 1.57 3/187 4448 /proc/meminfo: memFree=30892420/32770624 swapFree=6176/1000672 [pid=4447] ppid=4444 vsize=102724 CPUtime=6.29 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 33896 0 0 0 626 3 0 0 20 0 1 0 15794243 105189376 19287 33554432000 4194304 5970956 140722452752784 140722452749384 5378246 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 25681 19287 714 434 0 19045 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102724 [startup+12.7002 s] /proc/loadavg: 2.02 1.99 1.58 3/187 4448 /proc/meminfo: memFree=30835296/32770624 swapFree=6176/1000680 [pid=4447] ppid=4444 vsize=146528 CPUtime=12.69 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 47017 0 0 0 1265 4 0 0 20 0 1 0 15794243 150044672 29992 33554432000 4194304 5970956 140722452752784 140722452749384 140518498446336 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 36632 29992 714 434 0 29996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 146528 [startup+25.5003 s] /proc/loadavg: 2.01 1.99 1.58 3/187 4448 /proc/meminfo: memFree=30735412/32770624 swapFree=6176/1000688 [pid=4447] ppid=4444 vsize=248736 CPUtime=25.48 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 75920 0 0 0 2541 7 0 0 20 0 1 0 15794243 254705664 54876 33554432000 4194304 5970956 140722452752784 140722452749384 5674676 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 62184 54876 715 434 0 55548 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 248736 [startup+51.1004 s] /proc/loadavg: 2.01 1.99 1.60 3/187 4455 /proc/meminfo: memFree=30690200/32770624 swapFree=6176/1000736 [pid=4447] ppid=4444 vsize=292540 CPUtime=51.07 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 166116 0 0 0 5095 12 0 0 20 0 1 0 15794243 299560960 65896 33554432000 4194304 5970956 140722452752784 140722452750120 4934545 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 65896 772 434 0 66499 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 292540 [startup+102.3 s] /proc/loadavg: 2.00 1.99 1.62 3/187 4456 /proc/meminfo: memFree=30687620/32770624 swapFree=6176/1000836 [pid=4447] ppid=4444 vsize=292540 CPUtime=102.24 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 196693 0 0 0 10211 13 0 0 20 0 1 0 15794243 299560960 66561 33554432000 4194304 5970956 140722452752784 140722452750120 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 66561 776 434 0 66499 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 292540 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.64 3/187 4457 /proc/meminfo: memFree=30685588/32770624 swapFree=6176/1000936 [pid=4447] ppid=4444 vsize=292540 CPUtime=162.2 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 204980 0 0 0 16206 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 292540 [startup+222.306 s] /proc/loadavg: 2.00 1.99 1.66 3/187 4458 /proc/meminfo: memFree=30685136/32770624 swapFree=6176/1001036 [pid=4447] ppid=4444 vsize=292540 CPUtime=222.17 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205350 0 0 0 22203 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 292540 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4447 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+230.4 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4458 /proc/meminfo: memFree=30685260/32770624 swapFree=6176/1001044 [pid=4447] ppid=4444 vsize=292540 CPUtime=230.26 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205350 0 0 0 23012 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750216 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 230.26 Current children cumulated vsize (KiB) 292540 [startup+236.8 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4458 /proc/meminfo: memFree=30685384/32770624 swapFree=6176/1001052 [pid=4447] ppid=4444 vsize=292540 CPUtime=236.65 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205577 0 0 0 23651 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 236.65 Current children cumulated vsize (KiB) 292540 [startup+238.4 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4458 /proc/meminfo: memFree=30685384/32770624 swapFree=6176/1001052 [pid=4447] ppid=4444 vsize=292540 CPUtime=238.25 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205588 0 0 0 23811 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 238.25 Current children cumulated vsize (KiB) 292540 [startup+240 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4459 /proc/meminfo: memFree=30685012/32770624 swapFree=6176/1001072 [pid=4447] ppid=4444 vsize=292540 CPUtime=239.85 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205588 0 0 0 23971 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 239.85 Current children cumulated vsize (KiB) 292540 [startup+240.4 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4459 /proc/meminfo: memFree=30685012/32770624 swapFree=6176/1001072 [pid=4447] ppid=4444 vsize=292540 CPUtime=240.25 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205588 0 0 0 24011 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4933153 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 240.25 Current children cumulated vsize (KiB) 292540 [startup+240.6 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4459 /proc/meminfo: memFree=30685012/32770624 swapFree=6176/1001072 [pid=4447] ppid=4444 vsize=292540 CPUtime=240.45 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205588 0 0 0 24031 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4933153 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 240.45 Current children cumulated vsize (KiB) 292540 [startup+240.7 s] /proc/loadavg: 2.00 1.99 1.67 3/187 4459 /proc/meminfo: memFree=30685012/32770624 swapFree=6176/1001072 [pid=4447] ppid=4444 vsize=292540 CPUtime=240.55 cores=1,3,5,7 /proc/4447/stat : 4447 (cosoco) R 4444 4447 2920 0 -1 4202496 205588 0 0 0 24041 14 0 0 20 0 1 0 15794243 299560960 67126 33554432000 4194304 5970956 140722452752784 140722452750120 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 16744448 140722452755644 140722452755779 140722452755779 140722452758478 0 /proc/4447/statm: 73135 67126 776 434 0 66499 0 Current children cumulated CPU time (s) 240.55 Current children cumulated vsize (KiB) 292540 Child status: 0 Real time (s): 240.729 CPU time (s): 240.588 CPU user time (s): 240.443 CPU system time (s): 0.144924 CPU usage (%): 99.9416 Max. virtual memory (cumulated for all children) (KiB): 292540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 240.443 system time used= 0.144924 maximum resident set size= 268580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205626 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= 26 involuntary context switches= 12114 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.698208 second user time and 1.01392 second system time The end
Begin job on node125 at 2017-07-21 10:19:34 IDJOB=4240328 IDBENCH=121092 IDSOLVER=2621 FILE ID=node125/4240328-1500625173 RUNJOBID= node125-1500623778-2952 PBS_JOBID= 20623008 Free space on /tmp= 61956 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Random/Random-m1-15-23-3/rand-15-23-3-16-150000-18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240328-1500625173/watcher-4240328-1500625173 -o /tmp/evaluation-result-4240328-1500625173/solver-4240328-1500625173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240328-1500625173.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 63b07d175152d4a4de1c3a3d8a294418 RANDOM SEED=1809121179 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30954232 kB MemAvailable: 32010484 kB Buffers: 155964 kB Cached: 1179712 kB SwapCached: 0 kB Active: 388424 kB Inactive: 1009644 kB Active(anon): 65056 kB Inactive(anon): 8864 kB Active(file): 323368 kB Inactive(file): 1000780 kB Unevictable: 6176 kB Mlocked: 6176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 74996 kB Writeback: 0 kB AnonPages: 68640 kB Mapped: 34200 kB Shmem: 8848 kB Slab: 120100 kB SReclaimable: 95876 kB SUnreclaim: 24224 kB KernelStack: 3296 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61956 MiB End job on node125 at 2017-07-21 10:23:35