Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | SAT | 0.23014501 | 0.230543 |
Name | Random/Random-D-t020/ rand-2-40-11-414-020-23.xml |
MD5SUM | 1a4e26af447c68eb67ea8607a589b7af |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.03478 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 414 |
Number of domains | 1 |
Minimum domain size | 11 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":11,"count":40}] |
Minimum variable degree | 15 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":15,"count":1},{"degree":16,"count":5},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":6},{"degree":20,"count":4},{"degree":21,"count":5},{"degree":22,"count":6},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":414}] |
Number of extensional constraints | 414 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":414}] |
Optimization problem | NO |
Type of objective |
0.00/0.03 c SAT : Variables: 440 -- Clauses: 2240 0.00/0.04 c root propagations : 0 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c This is cosoco 1.12 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266312-1502568114.xml 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.04 s 0.00/0.04 c | 0.00/0.04 c | Variables: 40 0.00/0.04 c | Domain Sizes: 11..11 0.00/0.04 c | 0.00/0.04 c | Constraints: 414 0.00/0.04 c | Arity: 2..2 -- Binary: 414 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | Extension: 414 (nb tuples: 11..39) -- (shared: 0) 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c 10 34 9718 1614 0 3 7 14 9 0.00/0.04 c 20 52 15668 3025 0 8 5 7 5 0.00/0.04 c 30 78 22326 4333 0 13 6 10 7 0.00/0.04 c 40 108 31401 6626 0 15 4 10 5 0.00/0.04 c 50 139 38196 7992 0 16 6 12 7 0.00/0.04 c 60 169 45531 9395 0 21 7 11 8 0.00/0.04 c 70 201 55082 11326 0 26 6 10 6 0.00/0.04 c 80 230 62840 12983 0 30 8 11 8 0.00/0.04 c 90 253 69829 14564 0 35 6 9 6 0.00/0.04 c 100 288 78783 16395 0 40 6 11 8 0.00/0.04 c 101 297 81121 16784 0 41 9 9 4 0.00/0.05 c 110 329 90234 18586 0 46 5 10 7 0.00/0.05 c 120 359 99392 20537 0 49 5 9 7 0.00/0.05 c 130 392 107177 22066 0 54 7 10 7 0.00/0.05 conflict 75lvl : 6 bt6-438:0(27)X60000 0.00/0.05 c 140 435 119336 24441 0 56 5 13 7 0.00/0.05 c 150 467 128337 26372 0 59 8 11 8 0.00/0.05 c 160 497 136061 27932 0 65 7 15 8 0.00/0.05 c 170 522 142552 29325 0 72 7 10 7 0.00/0.05 c 180 554 151978 30992 0 76 6 10 7 0.00/0.05 c 190 585 160355 32612 0 81 5 11 7 0.00/0.05 c 200 619 170269 34551 0 85 6 10 7 0.00/0.06 c 210 653 178590 35956 0 87 7 11 8 0.00/0.06 c 211 661 180951 36345 0 88 8 8 4 0.00/0.06 c 220 684 186947 37843 0 90 6 11 7 0.00/0.06 c 230 712 195011 39556 0 94 6 9 6 0.00/0.06 c 240 739 202363 41081 0 100 5 11 7 0.00/0.06 c 250 771 210503 42538 0 104 7 11 8 0.00/0.06 c 260 800 218586 43951 0 107 8 11 9 0.00/0.06 c 270 831 226084 45193 0 112 8 12 9 0.00/0.06 c 280 860 233025 46622 0 116 6 10 7 0.00/0.06 c 290 893 240731 48066 0 120 6 15 8 0.00/0.06 c 300 921 248820 49644 0 124 8 13 8 0.00/0.06 c 310 953 257589 51306 0 126 6 12 8 0.00/0.07 c 320 981 265153 52871 0 128 7 10 7 0.00/0.07 c 330 1009 274581 54461 0 133 8 12 8 0.00/0.07 c 332 1022 278382 55139 0 135 9 9 6 0.00/0.07 c 340 1048 284914 56229 0 137 7 12 7 0.00/0.07 c 350 1077 292652 57872 0 144 6 9 7 0.00/0.07 c 360 1105 300182 59307 0 145 9 11 9 0.00/0.07 c 370 1131 306473 60525 0 149 7 12 7 0.00/0.07 c 380 1163 314817 62190 0 154 6 11 7 0.00/0.07 c 390 1196 323507 63838 0 158 7 12 8 0.00/0.07 c 400 1222 331501 65498 0 165 6 12 6 0.00/0.07 c 410 1253 341694 67914 0 167 5 11 7 0.00/0.07 c 420 1283 349430 69505 0 170 7 11 7 0.00/0.08 c 430 1315 359296 71663 0 175 6 11 7 0.00/0.08 c 440 1351 369317 73784 0 180 5 12 7 0.00/0.08 c 450 1385 378947 75664 0 183 6 11 7 0.00/0.08 c 460 1415 386632 77254 0 186 8 12 8 0.00/0.08 c 465 1431 391352 78093 0 189 6 11 7 0.00/0.08 c 470 1449 395700 78898 0 192 6 11 7 0.00/0.08 c 480 1491 408031 81315 0 195 7 12 8 0.00/0.08 c 490 1526 417335 83455 0 196 6 11 7 0.00/0.08 c 500 1565 426934 85409 0 201 6 11 8 0.00/0.08 c 510 1597 436220 87192 0 204 6 10 7 0.00/0.09 c 520 1639 448248 89406 0 206 6 12 8 0.00/0.09 c 530 1672 458164 91407 0 210 5 10 7 0.00/0.09 c 540 1705 464697 92567 0 213 9 13 10 0.00/0.09 conflict 27lvl : 12 bt11-392:0(52)X61572 0.00/0.09 c 550 1739 473178 94020 0 218 7 12 8 0.00/0.09 c 560 1767 479794 95235 0 221 8 11 9 0.00/0.09 c 570 1803 489461 96928 0 224 10 12 9 0.00/0.09 conflict 27lvl : 9 bt9-203:0(67)X61719 0.00/0.09 c 580 1830 497309 98831 0 227 6 9 6 0.00/0.09 c 590 1853 503940 100231 0 228 8 11 8 0.00/0.09 c 600 1885 512401 101934 0 231 8 10 8 0.00/0.09 c 610 1914 519266 103234 0 237 7 12 8 0.00/0.09 c 611 1923 521931 103637 0 238 9 9 4 0.00/0.09 c 620 1952 529843 105202 0 241 8 12 8 0.00/0.10 c 630 1985 539959 107572 0 246 6 9 7 0.00/0.10 c 640 2009 547376 109213 0 249 6 10 6 0.00/0.10 c 650 2038 556974 111026 0 252 6 8 6 0.00/0.10 c 660 2071 566230 112789 0 255 8 11 8 0.00/0.10 c 670 2107 576026 114567 0 261 8 12 9 0.00/0.10 c 680 2138 584984 116271 0 264 6 11 7 0.00/0.10 c 690 2175 595689 118159 0 267 7 11 8 0.00/0.10 c 700 2209 604969 120015 0 269 5 9 7 0.00/0.10 c 710 2239 612117 121319 0 273 7 13 9 0.00/0.10 c 720 2269 619784 122841 0 279 6 11 7 0.10/0.11 c 730 2302 627797 124447 0 283 6 11 8 0.10/0.11 c 740 2336 636964 125958 0 286 10 14 10 0.10/0.11 c 750 2366 644516 127370 0 292 7 11 7 0.10/0.11 c 760 2401 655665 129685 0 295 7 11 8 0.10/0.11 c 770 2433 664499 131501 0 302 6 11 7 0.10/0.11 c 771 2438 666619 131845 0 303 5 5 2 0.10/0.11 c 780 2471 676110 133587 0 306 7 14 8 0.10/0.11 c 790 2499 684108 135249 0 311 7 9 7 0.10/0.11 c 800 2527 692047 136848 0 315 6 10 7 0.10/0.11 c 810 2568 701909 138632 0 320 7 12 9 0.10/0.12 c 820 2601 712784 140814 0 323 7 12 8 0.10/0.12 c 830 2633 721708 142785 0 326 7 10 7 0.10/0.12 c 840 2661 730134 144562 0 331 5 9 6 0.10/0.12 c 850 2701 741549 146452 0 334 7 14 9 0.10/0.12 c 860 2737 751294 148340 0 338 7 12 7 0.10/0.12 c 870 2765 759750 149945 0 341 5 9 6 0.10/0.12 conflict 57lvl : 6 bt6-246:0(26)X62859 0.10/0.12 c 880 2796 769640 151692 0 344 6 10 7 0.10/0.12 c 890 2824 778290 153509 0 349 5 8 6 0.10/0.12 conflict 11lvl : 6 bt5-113:0(15)X62986 0.10/0.12 c 900 2857 786744 154884 0 354 6 12 8 0.10/0.12 c 910 2898 798494 157119 0 360 6 12 8 0.10/0.13 c 920 2923 805555 158452 0 362 6 11 7 0.10/0.13 c 930 2963 815049 160162 0 367 7 12 9 0.10/0.13 c 940 2991 823069 162164 0 373 5 10 6 0.10/0.13 c 947 3011 828956 163238 0 375 7 10 7 0.10/0.13 c 950 3026 833597 163923 0 378 9 10 7 0.10/0.13 conflict 13lvl : 8 bt7-287:0(33)X63280 0.10/0.13 c 960 3055 841971 165563 0 382 7 10 8 0.10/0.13 c 970 3080 849772 167353 0 386 5 8 5 0.10/0.13 c 980 3119 858803 168839 0 391 8 14 9 0.10/0.13 c 990 3155 869399 170865 0 395 6 10 7 0.10/0.13 c 1000 3190 878294 172514 0 398 6 12 8 0.10/0.13 c 1010 3226 887016 174165 0 401 6 11 7 0.10/0.14 c 1020 3266 898694 176570 0 407 6 11 7 0.10/0.14 c 1030 3296 907424 178526 0 408 7 12 8 0.10/0.14 c 1040 3325 915006 180067 0 417 8 11 8 0.10/0.14 c 1050 3355 921927 181308 0 421 7 13 8 0.10/0.14 c 1060 3388 930107 182790 0 423 8 13 9 0.10/0.14 c 1070 3414 937427 184262 0 427 6 10 6 0.10/0.14 c 1080 3460 949255 186312 0 432 7 13 9 0.10/0.14 c 1090 3496 959262 188087 0 434 7 11 8 0.10/0.14 c 1100 3523 967412 189832 0 438 6 10 6 0.10/0.14 c 1110 3558 976854 191614 0 445 7 13 8 0.10/0.15 c 1120 3586 985919 193316 0 448 6 10 6 0.10/0.15 c 1130 3614 993519 194891 0 450 5 11 6 0.10/0.15 conflict 51lvl : 8 bt8-287:0(60)X63994 0.10/0.15 c 1140 3643 1001860 196566 0 457 7 11 7 0.10/0.15 conflict 46lvl : 9 bt9-287:0(24)X64117 0.10/0.15 c 1141 3654 1005253 197012 0 459 10 10 5 0.10/0.15 c 1150 3686 1013872 198509 0 461 7 12 8 0.10/0.15 c 1160 3709 1020632 199818 0 467 5 11 7 0.10/0.15 c 1170 3740 1029736 201423 0 469 6 10 8 0.10/0.15 c 1180 3778 1039533 203108 0 472 6 11 8 0.10/0.15 c 1190 3810 1047816 204549 0 476 8 13 9 0.10/0.15 c 1200 3835 1054837 206038 0 481 7 10 7 0.10/0.15 c 1210 3869 1062976 207525 0 482 7 11 8 0.10/0.16 c 1220 3906 1072706 209179 0 487 7 13 9 0.10/0.16 c 1230 3930 1078598 210765 0 495 6 11 6 0.10/0.16 c 1240 3951 1085006 212476 0 496 5 9 5 0.10/0.16 c 1250 3982 1093687 213931 0 498 8 13 8 0.10/0.16 c 1260 4015 1103243 215694 0 503 7 11 8 0.10/0.16 c 1270 4047 1111065 217059 0 505 8 12 8 0.10/0.16 c 1280 4076 1118178 218666 0 509 5 12 7 0.10/0.16 c 1290 4110 1127903 220637 0 514 7 11 8 0.10/0.16 c 1300 4141 1137394 222680 0 517 5 11 6 0.10/0.16 c 1310 4169 1144270 224079 0 521 6 11 7 0.10/0.16 c 1320 4203 1153851 225590 0 525 6 13 9 0.10/0.17 c 1330 4237 1163956 227469 0 528 8 12 8 0.10/0.17 conflict 7lvl : 8 bt7-79:0(10)X64845 0.10/0.17 c 1340 4271 1174131 229254 0 532 7 12 8 0.10/0.17 c 1350 4298 1180934 230723 0 533 7 12 8 0.10/0.17 c 1352 4305 1183429 231148 0 534 6 6 4 0.10/0.17 c 1360 4332 1193111 232738 0 539 7 11 8 0.10/0.17 c 1370 4363 1201084 234319 0 542 7 11 8 0.10/0.17 c 1380 4400 1210836 236102 0 546 8 12 8 0.10/0.17 c 1390 4425 1217455 237343 0 547 7 11 8 0.10/0.17 c 1400 4454 1224862 238834 0 550 6 11 7 0.10/0.17 c 1410 4485 1233290 240391 0 554 7 11 7 0.10/0.17 c 1420 4522 1242506 242311 0 557 6 13 8 0.10/0.17 c 1430 4551 1251281 243876 0 561 7 11 8 0.10/0.18 conflict 9lvl : 6 bt5-400:0(14)X65165 0.10/0.18 c 1440 4586 1259350 245274 0 566 5 12 7 0.10/0.18 c 1450 4624 1268950 247039 0 571 6 13 9 0.10/0.18 conflict 7lvl : 7 bt6-45:0(21)X65277 0.10/0.18 c 1460 4660 1279892 249022 0 575 6 11 7 0.10/0.18 c 1470 4692 1289619 250963 0 577 8 11 8 0.10/0.18 c 1480 4730 1300149 252819 0 579 7 12 8 0.10/0.18 c 1490 4764 1310745 254943 0 581 7 12 8 0.10/0.18 c 1500 4804 1320575 256796 0 583 7 14 8 0.10/0.18 c 1510 4837 1329206 258301 0 584 8 12 9 0.10/0.18 conflict 42lvl : 7 bt7-179:0(48)X65394 0.10/0.18 c 1520 4879 1342004 260875 0 587 6 11 7 0.10/0.19 c 1530 4916 1351552 262664 0 588 7 14 9 0.10/0.19 c 1540 4944 1358359 264027 0 592 7 13 9 0.10/0.19 c 1550 4981 1367969 265841 0 597 6 10 8 0.10/0.19 c 1560 5013 1377744 267750 0 602 7 9 7 0.10/0.19 c 1570 5038 1384801 269090 0 606 6 11 7 0.10/0.19 c 1580 5075 1395331 271074 0 608 5 11 7 0.10/0.19 c 1585 5096 1400154 271797 0 611 9 14 9 0.10/0.19 c 1590 5113 1405366 272878 0 614 6 9 6 0.10/0.19 c 1600 5146 1413764 274461 0 620 7 13 9 0.10/0.19 c 1610 5174 1420431 275850 0 626 6 11 7 0.10/0.19 c 1620 5208 1429917 277765 0 630 4 11 7 0.10/0.20 c 1630 5244 1437471 279264 0 635 7 12 8 0.10/0.20 c 1640 5275 1446138 280982 0 637 8 12 8 0.10/0.20 c 1650 5310 1457256 283143 0 641 6 11 7 0.10/0.20 c 1660 5339 1465580 284732 0 642 7 10 8 0.10/0.20 conflict 9lvl : 10 bt10-386:0(29)X65998 0.10/0.20 c 1670 5374 1475298 286578 0 643 7 12 9 0.10/0.20 c 1680 5409 1484237 288239 0 647 6 11 7 0.10/0.20 c 1690 5439 1491536 289664 0 652 7 11 8 0.10/0.20 conflict 10lvl : 7 bt6-45:0(53)X66100 0.10/0.20 c 1700 5469 1500112 291261 0 656 7 11 8 0.10/0.20 c 1710 5494 1506798 292618 0 659 8 11 8 0.10/0.20 c 1720 5523 1515061 294241 0 662 6 11 7 0.10/0.20 c 1730 5562 1524504 296182 0 664 7 11 8 0.10/0.21 c 1740 5598 1534633 298031 0 667 6 11 8 0.10/0.21 c 1750 5633 1544604 300052 0 670 6 11 7 0.10/0.21 conflict 7lvl : 6 bt5-326:0(18)X66280 0.10/0.21 c 1760 5672 1555322 302138 0 673 6 11 7 0.10/0.21 c 1770 5703 1563970 303833 0 675 7 12 8 0.10/0.21 c 1780 5746 1574714 305623 0 678 7 12 9 0.10/0.21 c 1790 5781 1583935 307166 0 682 8 12 8 0.10/0.21 c 1800 5806 1591018 308689 0 684 6 9 6 0.10/0.21 c 1810 5828 1597329 310005 0 686 7 10 7 0.10/0.21 c 1820 5861 1604515 311172 0 688 8 14 9 0.21/0.21 c 1830 5884 1610872 312493 0 693 6 10 6 0.21/0.22 c 1840 5916 1618285 313844 0 696 6 16 9 0.21/0.22 conflict 9lvl : 6 bt6-313:0(13)X66521 0.21/0.22 c 1841 5925 1621181 314205 0 698 8 8 4 0.21/0.22 c 1850 5958 1628520 315463 0 701 8 12 9 0.21/0.22 c 1860 5991 1638478 317206 0 704 8 11 8 0.21/0.22 c 1870 6019 1647861 319054 0 708 6 9 7 0.21/0.22 c 1880 6043 1654838 320562 0 712 7 10 7 0.21/0.22 c 1890 6082 1666925 323029 0 717 5 12 7 0.21/0.22 c 1900 6115 1676576 324817 0 720 8 11 8 0.21/0.22 c 1910 6148 1683428 326296 0 726 6 11 7 0.21/0.22 c 1920 6177 1690819 327571 0 733 8 11 8 0.21/0.22 conflict 17lvl : 8 bt7-319:0(25)X66885 0.21/0.22 c 1930 6206 1699053 329150 0 739 7 10 7 0.21/0.23 c solution 1 0.21/0.23 0.21/0.23 v <instantiation type='solution'> 0.21/0.23 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list> 0.21/0.23 v <values>4 7 6 7 2 4 2 5 2 7 2 8 9 10 1 7 1 1 0 2 8 2 0 1 10 1 4 5 7 7 4 5 4 4 5 1 3 0 10 0 </values> 0.21/0.23 v </instantiation> 0.21/0.23 0.21/0.23 c restarts : 204 0.21/0.23 c conflicts : 1934 (8552 /sec) 0.21/0.23 c decisions : 6258 (27671 /sec) 0.21/0.23 c propagations : 330050 (1459391 /sec) 0.21/0.23 c root propagations : 0 0.21/0.23 c filter calls : 1705647 (7541905 /sec) 0.21/0.23 c useless filter calls : 1478714 (86 %) 0.21/0.23 c 0.21/0.23 c clauses : 13015 0.21/0.23 c SAT propagations : 2442 0.21/0.23 c SAT conflicts : 0 (17 learnts) 0.21/0.23 c Memory used : 31.59 MB 0.21/0.23 c CPU time : 0.22611 s 0.21/0.23 0.21/0.23 s SATISFIABLE
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13551 MiB free) memory of node 1: 16384 MiB (14700 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266312-1502568114/watcher-4266312-1502568114 -o /tmp/evaluation-result-4266312-1502568114/solver-4266312-1502568114 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266312-1502568114.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24152, runsolver pid=24149 [startup+0.100166 s]* /proc/loadavg: 0.11 0.04 0.05 3/189 24153 /proc/meminfo: memFree=28928216/32770624 swapFree=67108860/67108860 [pid=24152] ppid=24149 vsize=32344 memory=4484 CPUtime=0.1 cores=0,2,4,6 /proc/24152/stat : 24152 (cosoco) R 24149 24152 23976 0 -1 4202496 1317 0 0 0 10 0 0 0 20 0 1 0 89899204 33120256 1121 33554432000 4194304 5972588 140733131228608 140733131225912 139626758790240 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37171200 140733131232442 140733131232542 140733131232542 140733131235278 0 /proc/24152/statm: 8086 1121 754 435 0 1449 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 32344 KiB Current children cumulated memory: 4484 KiB [startup+0.209667 s]* /proc/loadavg: 0.11 0.04 0.05 3/189 24153 /proc/meminfo: memFree=28928216/32770624 swapFree=67108860/67108860 [pid=24152] ppid=24149 vsize=32344 memory=4484 CPUtime=0.21 cores=0,2,4,6 /proc/24152/stat : 24152 (cosoco) R 24149 24152 23976 0 -1 4202496 1322 0 0 0 21 0 0 0 20 0 1 0 89899204 33120256 1121 33554432000 4194304 5972588 140733131228608 140733131225912 139626758790240 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37171200 140733131232442 140733131232542 140733131232542 140733131235278 0 /proc/24152/statm: 8086 1121 754 435 0 1449 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 32344 KiB Current children cumulated memory: 4484 KiB [startup+0.230509 s] # the end of solver process 24152 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.226156 s, system=0.003989 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 0.230543 CPU time (s): 0.230145 CPU user time (s): 0.226156 CPU system time (s): 0.003989 CPU usage (%): 99.8274 Max. virtual memory (cumulated for all children) (KiB): 32344 Max. memory (cumulated for all children) (KiB): 4484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.226156 system time used= 0.003989 maximum resident set size= 4728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1345 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= 6 involuntary context switches= 2 # summary of solver processes directly reported to runsolver: # pid: 24152 # total CPU time (s): 0.230145 # total CPU user time (s): 0.226156 # total CPU system time (s): 0.003989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.017696 second user time and 0.035393 second system time The end
Begin job on node115 at 2017-08-12 21:47:36 IDJOB=4266312 IDBENCH=121925 IDSOLVER=2655 FILE ID=node115/4266312-1502568114 RUNJOBID= node115-1502567253-24060 PBS_JOBID= 20628280 Free space on /tmp= 61896 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-23.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266312-1502568114/watcher-4266312-1502568114 -o /tmp/evaluation-result-4266312-1502568114/solver-4266312-1502568114 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266312-1502568114.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a4e26af447c68eb67ea8607a589b7af RANDOM SEED=1216060407 node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28929340 kB MemAvailable: 31996096 kB Buffers: 120212 kB Cached: 3242932 kB SwapCached: 0 kB Active: 353648 kB Inactive: 3065612 kB Active(anon): 58960 kB Inactive(anon): 25096 kB Active(file): 294688 kB Inactive(file): 3040516 kB Unevictable: 6212 kB Mlocked: 6212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4840 kB Writeback: 0 kB AnonPages: 62392 kB Mapped: 44128 kB Shmem: 25224 kB Slab: 119560 kB SReclaimable: 94776 kB SUnreclaim: 24784 kB KernelStack: 3296 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 355944 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: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61896 MiB End job on node115 at 2017-08-12 21:47:37