Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PicatSAT 2019-09-12 | SAT | 119.25 | 119.259 |
Name | XCSP19/hcp/ graph162.xml |
MD5SUM | 0d1146fb66ad2f4e2d5d75203fe6e22a |
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 | 3.99647 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 909 |
Number of constraints | 1 |
Number of domains | 909 |
Minimum domain size | 2 |
Maximum domain size | 908 |
Distribution of domain sizes | [{"size":2,"count":2},{"size":3,"count":1},{"size":4,"count":1},{"size":5,"count":1},{"size":6,"count":1},{"size":7,"count":1},{"size":8,"count":1},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":15,"count":1},{"size":16,"count":1},{"size":17,"count":1},{"size":18,"count":1},{"size":19,"count":1},{"size":20,"count":1},{"size":21,"count":1},{"size":22,"count":1},{"size":23,"count":1},{"size":24,"count":1},{"size":25,"count":1},{"size":26,"count":1},"...",{"size":884,"count":1}, {"size":885,"count":1}, {"size":886,"count":1}, {"size":887,"count":1}, {"size":888,"count":1}, {"size":889,"count":1}, {"size":890,"count":1}, {"size":891,"count":1}, {"size":892,"count":1}, {"size":893,"count":1}, {"size":894,"count":1}, {"size":895,"count":1}, {"size":896,"count":1}, {"size":897,"count":1}, {"size":898,"count":1}, {"size":899,"count":1}, {"size":900,"count":1}, {"size":901,"count":1}, {"size":902,"count":1}, {"size":903,"count":1}, {"size":904,"count":1}, {"size":905,"count":1}, {"size":906,"count":1}, {"size":907,"count":1}, {"size":908,"count":1}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":909}] |
Minimum constraint arity | 909 |
Maximum constraint arity | 909 |
Distribution of constraint arities | [{"arity":909,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"circuit","count":1}] |
Optimization problem | NO |
Type of objective |
119.09/119.17 c xcsp_picat version 2.7b12 (9/12/2019) 119.09/119.17 s SATISFIABLE 119.09/119.17 v <instantiation> 119.09/119.17 v <list> v219 v846 v13 v323 v428 v116 v532 v637 v742 v220 v847 v14 v324 v429 v117 v533 v638 v743 v221 v848 v15 v325 v430 v118 v534 v639 v744 v222 v849 v16 v326 v431 v119 v535 v640 v745 v223 v850 v17 v327 v432 v120 v536 v641 v746 v224 v851 v18 v328 v433 v121 v537 v642 v747 v225 v852 v19 v329 v434 v122 v538 v643 v748 v226 v853 v20 v330 v435 v123 v539 v644 v749 v227 v854 v21 v331 v436 v124 v540 v645 v750 v228 v855 v22 v332 v437 v125 v541 v646 v751 v229 v856 v23 v333 v438 v126 v542 v647 v752 v230 v857 v24 v334 v439 v127 v543 v648 v753 v231 v858 v25 v335 v440 v128 v544 v649 v754 v232 v859 v26 v336 v441 v545 v650 v755 v233 v860 v27 v337 v442 v546 v651 v129 v756 v234 v861 v28 v338 v443 v547 v652 v130 v757 v235 v862 v29 v339 v444 v548 v653 v131 v758 v236 v863 v30 v340 v445 v549 v654 v132 v759 v237 v864 v341 v446 v550 v655 v133 v760 v238 v865 v342 v31 v447 v551 v656 v134 v761 v239 v866 v343 v32 v448 v552 v657 v135 v762 v240 v867 v344 v33 v449 v553 v658 v136 v763 v241 v868 v345 v34 v450 v554 v659 v137 v764 v242 v869 v346 v35 v451 v555 v660 v138 v765 v243 v870 v347 v36 v452 v556 v661 v139 v766 v244 v871 v348 v37 v453 v557 v662 v140 v767 v245 v872 v349 v38 v454 v558 v663 v141 v768 v246 v873 v350 v39 v455 v559 v664 v142 v769 v247 v874 v351 v40 v456 v560 v665 v143 v770 v248 v875 v352 v41 v457 v561 v666 v144 v771 v249 v876 v353 v42 v458 v562 v667 v145 v772 v250 v877 v354 v43 v459 v563 v668 v146 v773 v251 v878 v355 v44 v460 v564 v669 v147 v774 v252 v879 v356 v45 v461 v565 v670 v148 v775 v253 v880 v357 v46 v462 v566 v671 v149 v776 v254 v881 v358 v47 v463 v567 v672 v150 v777 v255 v882 v359 v48 v464 v568 v673 v151 v778 v256 v883 v360 v49 v465 v569 v674 v152 v779 v257 v884 v361 v50 v466 v570 v675 v153 v780 v258 v885 v362 v51 v467 v571 v676 v154 v781 v886 v363 v52 v468 v572 v677 v155 v782 v887 v259 v364 v53 v469 v573 v678 v156 v783 v888 v260 v365 v54 v470 v574 v679 v157 v784 v889 v261 v366 v55 v471 v575 v680 v158 v785 v890 v262 v367 v56 v472 v576 v681 v159 v786 v891 v263 v368 v57 v473 v577 v682 v160 v787 v892 v264 v369 v58 v474 v578 v683 v161 v788 v893 v265 v370 v59 v475 v579 v684 v162 v789 v894 v266 v371 v60 v476 v580 v685 v163 v790 v895 v267 v372 v61 v477 v581 v686 v164 v791 v896 v268 v373 v62 v478 v582 v687 v165 v792 v897 v269 v374 v479 v583 v688 v166 v793 v898 v270 v375 v480 v63 v584 v689 v167 v794 v899 v271 v376 v481 v64 v585 v690 v168 v795 v900 v272 v377 v482 v65 v586 v691 v169 v796 v901 v273 v378 v483 v66 v587 v692 v170 v797 v902 v274 v379 v484 v67 v588 v693 v171 v798 v903 v275 v380 v485 v68 v589 v694 v172 v799 v904 v276 v381 v486 v69 v590 v695 v173 v800 v905 v277 v382 v487 v70 v591 v696 v174 v801 v906 v278 v383 v488 v71 v592 v697 v175 v802 v907 v279 v384 v489 v72 v593 v698 v176 v803 v908 v280 v385 v490 v73 v594 v699 v177 v804 v281 v386 v491 v74 v595 v700 v178 v805 v282 v387 v492 v75 v596 v701 v179 v806 v283 v388 v493 v76 v597 v702 v180 v807 v284 v389 v494 v77 v598 v703 v181 v808 v285 v390 v495 v78 v599 v704 v182 v809 v286 v391 v496 v79 v600 v705 v183 v810 v287 v392 v497 v80 v601 v706 v184 v811 v288 v393 v498 v81 v602 v707 v185 v812 v289 v394 v499 v82 v603 v708 v186 v813 v290 v395 v500 v83 v604 v709 v187 v814 v291 v396 v501 v84 v605 v710 v188 v815 v292 v397 v502 v85 v606 v711 v189 v816 v293 v398 v503 v86 v607 v712 v190 v817 v294 v399 v504 v87 v608 v713 v191 v818 v295 v400 v505 v88 v609 v714 v192 v819 v296 v401 v506 v89 v610 v715 v193 v820 v297 v402 v507 v90 v611 v716 v194 v821 v298 v403 v508 v91 v612 v717 v195 v822 v299 v404 v509 v92 v613 v718 v196 v823 v300 v405 v510 v93 v614 v719 v197 v824 v301 v406 v511 v94 v615 v720 v198 v825 v302 v407 v512 v95 v616 v721 v199 v826 v303 v408 v513 v96 v617 v722 v200 v827 v304 v409 v514 v97 v618 v723 v201 v828 v305 v410 v515 v98 v619 v724 v202 v829 v306 v411 v516 v99 v620 v725 v203 v830 v307 v412 v517 v100 v621 v726 v204 v831 v308 v413 v518 v101 v622 v727 v0 v205 v832 v309 v414 v519 v102 v623 v728 v1 v206 v833 v310 v415 v520 v103 v624 v729 v2 v207 v834 v311 v416 v521 v104 v625 v730 v3 v208 v835 v312 v417 v522 v105 v626 v731 v4 v209 v836 v313 v418 v106 v627 v732 v5 v210 v837 v314 v419 v107 v523 v628 v733 v6 v211 v838 v315 v420 v108 v524 v629 v734 v7 v212 v839 v316 v421 v109 v525 v630 v735 v8 v213 v840 v317 v422 v110 v526 v631 v736 v9 v214 v841 v318 v423 v111 v527 v632 v737 v10 v215 v842 v319 v424 v112 v528 v633 v738 v11 v216 v843 v320 v425 v113 v529 v634 v739 v12 v217 v844 v321 v426 v114 v530 v635 v740 v218 v845 v322 v427 v115 v531 v636 v741 </list> 119.09/119.17 v <values> 433 453 898 427 896 613 298 807 128 888 224 8 199 879 683 481 159 207 583 445 589 477 605 244 177 0 110 467 77 577 536 345 490 18 510 696 5 435 636 670 121 864 210 80 447 280 227 867 162 344 884 766 562 366 664 28 55 306 742 452 860 842 74 9 601 114 84 279 538 393 826 770 208 671 674 607 235 804 681 820 851 137 301 157 726 292 58 355 848 882 755 575 425 109 871 106 81 190 403 419 907 666 784 246 303 375 870 102 890 312 799 140 85 523 687 492 75 474 903 780 250 26 446 397 408 781 721 706 787 297 719 25 632 226 838 529 201 256 130 798 543 491 23 99 720 678 356 465 32 746 180 476 268 11 796 372 767 548 432 333 482 91 165 271 908 525 901 817 588 322 565 382 535 284 547 39 402 866 275 635 645 154 405 334 731 669 521 450 228 508 790 169 655 773 854 116 151 815 378 686 812 436 148 578 56 622 361 179 390 127 19 561 404 861 608 429 764 615 195 369 736 309 602 519 619 373 230 880 558 400 350 534 424 389 380 846 626 730 374 327 394 337 359 709 479 155 215 167 693 831 569 611 740 824 518 593 858 679 411 631 12 756 576 330 421 850 174 243 135 814 711 690 295 76 841 339 744 540 281 587 617 342 480 368 513 511 262 115 542 391 821 504 707 214 786 813 772 869 546 370 753 431 785 354 73 396 277 639 751 659 667 582 633 862 559 459 494 232 260 347 143 823 802 29 324 845 336 441 111 527 101 468 532 31 236 302 729 795 6 754 10 612 762 265 905 50 314 526 472 253 3 775 567 791 346 220 315 550 692 600 430 440 566 79 724 816 745 594 892 68 30 61 381 516 278 416 82 488 630 376 792 598 628 385 703 573 489 168 634 149 47 579 553 902 257 343 662 7 317 483 122 794 810 119 515 680 360 863 46 113 197 620 196 650 319 379 352 27 63 531 52 484 192 694 161 700 96 448 363 108 606 242 621 263 87 357 4 715 141 545 760 349 629 323 501 555 771 478 21 828 194 203 610 299 124 462 126 44 33 887 164 239 410 460 310 95 646 658 868 42 175 568 211 557 643 714 307 231 865 300 684 22 661 514 769 552 181 734 647 125 597 503 778 718 158 580 609 259 422 656 206 146 92 735 202 212 144 86 765 537 152 112 551 673 182 272 801 872 213 648 388 685 178 641 233 426 857 17 878 891 399 883 512 881 855 840 464 836 522 832 414 586 364 591 2 383 876 886 895 100 486 571 105 261 603 803 249 387 485 665 702 616 409 386 723 248 859 294 713 34 473 1 466 509 847 371 238 800 443 738 737 663 733 308 189 776 749 716 13 461 51 348 423 638 442 103 691 407 62 852 900 811 16 282 493 676 413 507 677 739 171 475 592 894 783 129 258 825 353 335 234 660 712 844 264 65 338 682 697 906 752 604 517 449 570 893 245 875 454 644 788 471 118 311 276 20 293 837 107 444 759 321 41 71 139 329 142 89 809 806 325 88 205 216 183 827 750 145 417 743 652 138 188 456 340 732 332 585 98 176 595 704 470 520 392 741 701 793 331 463 502 147 351 705 500 288 560 69 818 747 640 572 193 200 72 123 544 819 304 642 556 163 849 782 43 822 160 856 221 313 218 728 285 574 59 254 156 506 341 710 170 623 496 625 877 829 406 251 133 222 698 549 191 590 539 805 132 699 316 283 131 451 717 533 305 599 229 434 725 48 763 136 328 64 225 217 657 614 60 377 117 97 439 688 528 499 789 649 90 899 748 14 904 722 761 455 889 219 267 497 38 708 797 727 241 120 358 185 53 93 49 779 153 15 255 57 35 624 37 581 166 209 774 252 415 885 186 675 24 757 67 541 596 237 367 672 365 290 564 458 184 45 289 270 873 554 627 326 36 83 287 808 853 839 834 291 689 395 198 469 223 768 487 398 495 830 204 418 437 498 240 651 457 618 172 269 54 438 150 94 173 320 874 134 296 758 428 530 187 835 66 274 654 384 286 247 637 524 412 318 104 695 266 401 668 40 653 843 584 362 273 563 897 420 505 833 70 78 777 </values> 119.09/119.18 v </instantiation>
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 (14639 MiB free) memory of node 1: 16384 MiB (14835 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395086-1568348436/watcher-4395086-1568348436 -o /tmp/evaluation-result-4395086-1568348436/solver-4395086-1568348436 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4395086-1568348436.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=21928, runsolver pid=21925 [startup+0.100199 s]* /proc/loadavg: 1.97 2.02 2.04 3/205 21929 /proc/meminfo: memFree=30166988/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2031716 memory=22648 CPUtime=0.1 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 1249 0 0 0 10 0 0 0 20 0 1 0 410766337 2080477184 5662 33554432000 4194304 5870510 140733335813008 140733335810152 4508356 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 507929 5662 838 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 22648 KiB [startup+0.210209 s]* /proc/loadavg: 1.97 2.02 2.04 4/205 21929 /proc/meminfo: memFree=30140364/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2031716 memory=45176 CPUtime=0.21 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 1266 0 0 0 20 1 0 0 20 0 1 0 410766337 2080477184 11294 33554432000 4194304 5870510 140733335813008 140733335810152 4438734 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 507929 11294 838 410 0 503402 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 45176 KiB [startup+0.310249 s]* /proc/loadavg: 1.97 2.02 2.04 3/205 21929 /proc/meminfo: memFree=30138316/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2031716 memory=49272 CPUtime=0.31 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 1268 0 0 0 30 1 0 0 20 0 1 0 410766337 2080477184 12318 33554432000 4194304 5870510 140733335813008 140733335810152 4470136 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 507929 12318 838 410 0 503402 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 49272 KiB [startup+0.700451 s] /proc/loadavg: 1.97 2.02 2.04 3/205 21929 /proc/meminfo: memFree=30103676/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2174392 memory=197784 CPUtime=0.69 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 5170 0 0 0 65 4 0 0 20 0 1 0 410766337 2226577408 49446 33554432000 4194304 5870510 140733335813008 140733335812312 5245065 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 543598 49446 859 410 0 539071 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2174392 KiB Current children cumulated memory: 197784 KiB [startup+1.50045 s] /proc/loadavg: 1.97 2.02 2.04 4/205 21929 /proc/meminfo: memFree=29955052/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2174392 memory=322756 CPUtime=1.49 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 5231 0 0 0 143 6 0 0 20 0 1 0 410766337 2226577408 80689 33554432000 4194304 5870510 140733335813008 140733335812232 4462543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 543598 80689 859 410 0 539071 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2174392 KiB Current children cumulated memory: 322756 KiB [startup+3.11007 s] /proc/loadavg: 1.97 2.02 2.04 4/205 21929 /proc/meminfo: memFree=29583620/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2174392 memory=621824 CPUtime=3.1 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 5469 0 0 0 299 11 0 0 20 0 1 0 410766337 2226577408 155456 33554432000 4194304 5870510 140733335813008 140733335812232 4472304 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 543598 155456 871 410 0 539071 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2174392 KiB Current children cumulated memory: 621824 KiB [startup+6.30044 s] /proc/loadavg: 1.97 2.02 2.04 4/205 21929 /proc/meminfo: memFree=29088992/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2239320 memory=1160540 CPUtime=6.29 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 7756 0 0 0 611 18 0 0 20 0 1 0 410766337 2293063680 290135 33554432000 4194304 5870510 140733335813008 140733335812376 4456129 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 559830 290135 879 410 0 555303 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2239320 KiB Current children cumulated memory: 1160540 KiB [startup+12.7004 s] /proc/loadavg: 1.97 2.02 2.04 4/205 21929 /proc/meminfo: memFree=28446064/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=2926940 memory=1857960 CPUtime=12.69 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 46766 0 0 0 1230 39 0 0 20 0 1 0 410766337 2997186560 464490 33554432000 4194304 5870510 140733335813008 140733335812328 139867637437522 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 731735 464490 904 410 0 727208 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2926940 KiB Current children cumulated memory: 1857960 KiB [startup+25.5004 s] /proc/loadavg: 2.14 2.05 2.05 4/205 21934 /proc/meminfo: memFree=26744292/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=4735348 memory=3438648 CPUtime=25.49 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 254039 0 0 0 2464 85 0 0 20 0 1 0 410766337 4848996352 859662 33554432000 4194304 5870510 140733335813008 140733335812120 5562056 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1183837 859662 963 410 0 1179310 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 4735348 KiB Current children cumulated memory: 3438648 KiB [startup+51.1103 s] /proc/loadavg: 2.09 2.04 2.05 4/205 21937 /proc/meminfo: memFree=26329424/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=4999584 memory=3844560 CPUtime=51.1 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 568315 0 0 0 4991 119 0 0 20 0 1 0 410766337 5119574016 961140 33554432000 4194304 5870510 140733335813008 140733335811512 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1249896 961140 969 410 0 1245369 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 4999584 KiB Current children cumulated memory: 3844560 KiB [startup+102.3 s] /proc/loadavg: 2.61 2.19 2.10 4/205 21941 /proc/meminfo: memFree=26327056/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=5006516 memory=3851152 CPUtime=102.28 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 847460 0 0 0 10096 132 0 0 20 0 1 0 410766337 5126672384 962788 33554432000 4194304 5870510 140733335813008 140733335811400 5337529 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1251629 962788 970 410 0 1247102 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 5006516 KiB Current children cumulated memory: 3851152 KiB [startup+119.259 s] # the end of solver process 21928 was just reported to runsolver # cumulated CPU time of all completed processes: user=117.558 s, system=1.6919 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.4 s] /proc/loadavg: 2.61 2.19 2.10 4/205 21941 /proc/meminfo: memFree=26327056/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=5006516 memory=3851152 CPUtime=102.38 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 847743 0 0 0 10106 132 0 0 20 0 1 0 410766337 5126672384 962788 33554432000 4194304 5870510 140733335813008 140733335811400 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1251629 962788 970 410 0 1247102 0 Current children cumulated CPU time: 102.38 s Current children cumulated vsize: 5006516 KiB Current children cumulated memory: 3851152 KiB [startup+108.8 s] /proc/loadavg: 2.64 2.20 2.10 4/205 21941 /proc/meminfo: memFree=26325016/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=5006516 memory=3851212 CPUtime=108.79 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 908877 0 0 0 10744 135 0 0 20 0 1 0 410766337 5126672384 962803 33554432000 4194304 5870510 140733335813008 140733335811400 139867637419703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1251629 962803 972 410 0 1247102 0 Current children cumulated CPU time: 108.79 s Current children cumulated vsize: 5006516 KiB Current children cumulated memory: 3851212 KiB [startup+115.2 s] /proc/loadavg: 2.54 2.20 2.10 4/205 21941 /proc/meminfo: memFree=26322768/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=5006516 memory=3851216 CPUtime=115.18 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 955778 0 0 0 11381 137 0 0 20 0 1 0 410766337 5126672384 962804 33554432000 4194304 5870510 140733335813008 140733335811400 5337395 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1251629 962804 972 410 0 1247102 0 Current children cumulated CPU time: 115.18 s Current children cumulated vsize: 5006516 KiB Current children cumulated memory: 3851216 KiB [startup+116.8 s] /proc/loadavg: 2.54 2.20 2.10 4/206 21943 /proc/meminfo: memFree=26369940/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=5758116 memory=4182644 CPUtime=116.78 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 1039559 0 0 0 11526 152 0 0 20 0 1 0 410766337 5896310784 1045661 33554432000 4194304 5870510 140733335813008 140733335811816 5304832 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1439529 1045661 972 410 0 1435002 0 Current children cumulated CPU time: 116.78 s Current children cumulated vsize: 5758116 KiB Current children cumulated memory: 4182644 KiB [startup+118.4 s] /proc/loadavg: 2.54 2.20 2.10 4/205 21943 /proc/meminfo: memFree=26594912/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=4850068 memory=3576608 CPUtime=118.38 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 1064244 0 0 0 11678 160 0 0 20 0 1 0 410766337 4966469632 894152 33554432000 4194304 5870510 140733335813008 140733335811816 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1212517 894152 974 410 0 1207990 0 Current children cumulated CPU time: 118.38 s Current children cumulated vsize: 4850068 KiB Current children cumulated memory: 3576608 KiB [startup+118.8 s] /proc/loadavg: 2.54 2.20 2.10 4/205 21943 /proc/meminfo: memFree=26594912/32770624 swapFree=67008956/67108860 [pid=21928] ppid=21925 vsize=4850068 memory=3578100 CPUtime=118.78 cores=0,2,4,6 /proc/21928/stat : 21928 (xcsp_picat) R 21925 21928 14854 0 -1 4202496 1066542 0 0 0 11718 160 0 0 20 0 1 0 410766337 4966469632 894525 33554432000 4194304 5870510 140733335813008 140733335811816 139867637425480 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 43102208 140733335815199 140733335815277 140733335815277 140733335818186 0 /proc/21928/statm: 1212517 894525 974 410 0 1207990 0 Current children cumulated CPU time: 118.78 s Current children cumulated vsize: 4850068 KiB Current children cumulated memory: 3578100 KiB [startup+119.2 s]* /proc/loadavg: 2.50 2.19 2.10 3/205 21943 /proc/meminfo: memFree=27017096/32770624 swapFree=67008956/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 119.259 CPU time (s): 119.25 CPU user time (s): 117.558 CPU system time (s): 1.6919 CPU usage (%): 99.9927 Max. virtual memory (cumulated for all children) (KiB): 5758116 Max. memory (cumulated for all children) (KiB): 4426356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 117.558 system time used= 1.6919 maximum resident set size= 4426356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1071269 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= 4 involuntary context switches= 32 # summary of solver processes directly reported to runsolver: # pid: 21928 # total CPU time (s): 119.25 # total CPU user time (s): 117.558 # total CPU system time (s): 1.6919 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.396782 second user time and 1.08565 second system time The end
Begin job on node132 at 2019-09-13 06:19:47 IDJOB=4395086 IDBENCH=141689 IDSOLVER=2844 FILE ID=node132/4395086-1568348436 RUNJOBID= node132-1568322174-14885 PBS_JOBID= 21701138 Free space on /tmp= 60300 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP19/hcp/graph162.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395086-1568348436/watcher-4395086-1568348436 -o /tmp/evaluation-result-4395086-1568348436/solver-4395086-1568348436 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4395086-1568348436.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d1146fb66ad2f4e2d5d75203fe6e22a RANDOM SEED=287099381 node132.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.95 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.95 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.95 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.95 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: 30183232 kB MemAvailable: 31582888 kB Buffers: 129740 kB Cached: 1541096 kB SwapCached: 8384 kB Active: 652824 kB Inactive: 1355908 kB Active(anon): 337564 kB Inactive(anon): 28028 kB Active(file): 315260 kB Inactive(file): 1327880 kB Unevictable: 109188 kB Mlocked: 109188 kB SwapTotal: 67108860 kB SwapFree: 67008956 kB Dirty: 4252 kB Writeback: 0 kB AnonPages: 448744 kB Mapped: 33056 kB Shmem: 18820 kB Slab: 174232 kB SReclaimable: 144700 kB SUnreclaim: 29532 kB KernelStack: 3856 kB PageTables: 6468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2813728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 372736 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 60296 MiB End job on node132 at 2019-09-13 06:21:46