Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.09 | 2400.3 |
Name | PseudoBoolean/PseudoBoolean-dec-sptate/ Pb-Tate-K090.xml |
MD5SUM | fb0a00432fe3f34c7f96c9cd31e06ed3 |
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 | 606.023 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6120 |
Number of constraints | 6302 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":6120}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":167},{"degree":5,"count":1084},{"degree":6,"count":2393},{"degree":7,"count":1502},{"degree":8,"count":619},{"degree":9,"count":178},{"degree":10,"count":176}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 90 |
Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":1157},{"arity":3,"count":2403},{"arity":4,"count":1602},{"arity":5,"count":534},{"arity":6,"count":178},{"arity":7,"count":178},{"arity":68,"count":180},{"arity":90,"count":68}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":6302}] |
Optimization problem | NO |
Type of objective |
0.79/0.84 c root propagations : 362 0.79/0.84 c restarts enabled, print stats at every restarts 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c This is cosoco 2.00 -- 0.79/0.84 c 0.79/0.84 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408684-1569804385.xml 0.79/0.84 c ========================================[ Problem Statistics ]=========================================== 0.79/0.84 c | 0.79/0.84 c | Parse time : 0.69 s 0.79/0.84 c | 0.79/0.84 c | Variables: 6120 0.79/0.84 c | Domain Sizes: 2..2 0.79/0.84 c | 0.79/0.84 c | Constraints: 6302 0.79/0.84 c | Arity: 1..90 -- Unary: 2 -- Binary: 1157 -- Ternary: 2403 0.79/0.84 c | 0.79/0.84 c | Types: 0.79/0.84 c | Sum: 6302 0.79/0.84 c | 0.79/0.84 c ========================================================================================================= 0.79/0.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.10/4.18 c 101 7069 1471531 487228 362 0 1079 4812 3428 5.10/5.13 c 211 15793 1835641 635522 362 0 159 5478 4815 6.29/6.37 c 332 25019 2246042 791214 362 0 457 1678 843 7.19/7.22 c 465 32082 2527034 915056 362 0 656 1085 781 7.88/8.00 c 611 37474 2800938 1032677 362 0 634 981 743 8.89/8.90 c 771 45837 3085530 1155199 362 0 1059 1407 1202 9.59/9.66 c 947 51358 3368441 1265076 362 0 618 1125 861 10.29/10.34 c 1140 58455 3558575 1343197 362 0 779 1063 945 11.89/11.91 c 1352 68112 4183765 1586829 362 0 896 1394 1157 13.58/13.61 c 1585 78040 4868333 1867306 362 0 678 1312 898 16.18/16.26 c 1841 93354 5872167 2251946 362 0 848 1641 1287 18.58/18.63 c 2122 115043 6626845 2563958 362 0 992 1341 1229 20.28/20.36 c 2431 123664 7325249 2822826 362 0 805 970 876 22.09/22.19 c 2770 138437 7963603 3053995 362 0 449 1621 1448 24.99/25.02 c 3142 153652 9051720 3466790 362 0 1019 1156 1086 27.00/27.05 c 3551 169419 9711963 3763029 362 0 954 1387 1104 28.89/28.94 c 4000 190402 10183109 3962070 362 0 1004 1526 1200 31.79/31.87 c 4493 208920 11306883 4392345 362 0 934 1125 1002 34.78/34.81 c 5035 224570 12444667 4827768 362 0 726 1088 831 36.58/36.60 c 5631 236747 13133504 5113202 362 0 727 888 782 38.28/38.37 c 6286 251104 13758797 5424570 362 0 676 783 731 40.99/41.07 c 7006 275130 14610402 5782913 362 0 610 1158 852 43.38/43.49 c 7798 295034 15438985 6127547 362 0 715 950 838 47.88/47.90 c 8669 325161 17006231 6805319 362 0 564 945 710 52.88/53.01 c 9627 353633 18865270 7571932 362 0 389 595 527 60.68/60.79 c 10680 431133 20953833 8425399 362 0 322 1749 994 68.58/68.65 c 11838 480064 23757800 9565939 362 0 558 1002 713 75.88/75.91 c 13111 530981 26256553 10643490 362 0 524 742 659 82.28/82.37 c 14511 592762 28144608 11401557 362 0 628 1008 793 95.58/95.61 c 16051 645803 33667161 13358999 362 0 531 766 679 108.68/108.71 c 17745 705278 39154932 15609580 362 0 582 1015 736 119.99/120.09 c 19608 770916 43561463 17246606 362 0 500 780 617 144.38/144.46 c 21657 864535 53480311 20839797 362 0 526 780 656 158.68/158.78 c 23910 924422 59912712 23442300 362 0 465 634 559 174.88/175.00 c 26388 1105873 63902968 25334444 362 0 529 1399 926 197.08/197.19 c 29113 1343863 70084777 27842406 362 0 741 2185 984 210.57/210.65 c 32110 1490053 73730984 29346124 362 0 871 1445 1130 226.87/226.91 c 35406 1593160 80149269 31699975 362 0 848 1169 1050 244.47/244.55 c 39031 1689783 87616253 34822765 362 0 868 1114 961 282.08/282.19 c 43018 1945800 101869402 40873235 362 0 711 1731 1233 312.85/312.92 c 47403 2227546 113360931 44820341 362 0 993 1709 1285 344.72/344.82 c 52226 2420272 126754881 49330772 362 0 1022 1424 1171 367.22/367.37 c 57531 2567937 136604374 53223095 362 0 977 1293 1138 418.20/418.31 c 63366 2947413 157623963 62049565 362 0 970 1612 1285 465.28/465.41 c 69784 3308146 176906678 70078948 362 0 1130 1510 1322 489.68/489.82 c 76843 3506650 187026300 74030237 362 0 1130 1355 1269 522.38/522.55 c 84607 3708293 201147076 79179817 362 0 1053 1248 1173 565.27/565.40 c 93147 3948216 220724081 86546200 362 0 944 1318 1131 597.57/597.71 c 102541 4227480 233117594 91506870 362 0 940 1141 1057 668.47/668.67 c 112874 4774471 259799629 101475897 362 0 716 1560 1371 731.06/731.27 c 124240 5154402 285155934 110415586 362 0 881 1401 1150 804.66/804.87 c 136742 5570716 315057052 120565871 362 0 760 1241 1014 876.46/876.62 c 150494 6204740 342796411 132060508 362 0 968 1571 1196 1018.05/1018.23 c 165621 7095608 402014355 154654619 362 0 966 1854 1247 1148.86/1149.07 c 182260 8170386 450847996 172619395 362 0 899 1816 1400 1271.74/1271.93 c 200562 9028093 499465596 190256036 362 0 1017 1738 1254 1471.63/1471.81 c 220694 10003448 580260856 217844776 362 0 927 1388 1188 1609.22/1609.47 c 242839 11092768 630666239 237422427 362 0 805 1332 1174 1714.12/1714.33 c 267198 11940162 667239625 251176853 362 0 753 1351 1070 1824.71/1824.91 c 293992 13207662 698436342 264526881 362 0 743 1179 965 1982.70/1982.97 c 323465 14655870 747842448 283338637 362 0 582 1054 865 2119.29/2119.57 c 355885 15851437 794529249 301232765 362 0 421 1091 845 2272.69/2272.95 c 391547 17286808 844597982 319903330 362 0 486 1132 846 2369.89/2370.12 c 430775 18161408 875112632 334079233 362 0 319 593 508 2400.08/2400.30 2400.08/2400.30 c *** INTERRUPTED *** 2400.08/2400.30 c restarts : 64 2400.08/2400.30 c conflicts : 434820 (181 /sec) 2400.08/2400.30 c decisions : 18505385 (7711 /sec) 2400.08/2400.30 c propagations : 337946974 (140820 /sec) 2400.08/2400.30 c root propagations : 362 2400.08/2400.30 c filter calls : 884720748 (368658 /sec) 2400.08/2400.30 c useless filter calls : 781866952 (88 %) 2400.08/2400.30 c Memory used : 297.78 MB 2400.08/2400.30 c CPU time : 2399.84 s 2400.08/2400.30 c real time : 2400.3 s 2400.08/2400.30 2400.08/2400.30 s UNKNOWN
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: 16375 MiB (15091 MiB free) memory of node 1: 16384 MiB (15336 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408684-1569804385/watcher-4408684-1569804385 -o /tmp/evaluation-result-4408684-1569804385/solver-4408684-1569804385 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408684-1569804385.xml running on 4 cores: 4-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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29551, runsolver pid=29548 Current StackSize limit: 8192 KiB [startup+0.100984 s]* /proc/loadavg: 2.00 2.05 2.09 3/199 29552 /proc/meminfo: memFree=31149168/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=35904 memory=12180 CPUtime=0.1 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 3255 0 0 0 10 0 0 0 20 0 1 0 556379996 36765696 3045 33554432000 4194304 6211132 140724529547296 140724529544568 5518154 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 8976 3045 837 493 0 2281 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35904 KiB Current children cumulated memory: 12180 KiB [startup+0.210795 s]* /proc/loadavg: 2.00 2.05 2.09 3/199 29552 /proc/meminfo: memFree=31124664/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=63844 memory=40160 CPUtime=0.21 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 10242 0 0 0 20 1 0 0 20 0 1 0 556379996 65376256 10040 33554432000 4194304 6211132 140724529547296 140724529541432 140054847903648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 15961 10040 837 493 0 9266 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 63844 KiB Current children cumulated memory: 40160 KiB [startup+0.310815 s]* /proc/loadavg: 2.00 2.05 2.09 3/199 29552 /proc/meminfo: memFree=31099740/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=89072 memory=65372 CPUtime=0.31 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 16536 0 0 0 29 2 0 0 20 0 1 0 556379996 91209728 16343 33554432000 4194304 6211132 140724529547296 140724529541432 140054847903648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 22268 16343 837 493 0 15573 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 89072 KiB Current children cumulated memory: 65372 KiB [startup+0.700401 s] /proc/loadavg: 2.00 2.05 2.09 3/199 29552 /proc/meminfo: memFree=31053984/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=181920 memory=158144 CPUtime=0.68 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 39747 0 0 0 63 5 0 0 20 0 1 0 556379996 186286080 39536 33554432000 4194304 6211132 140724529547296 140724529541432 140054847855589 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 45480 39536 837 493 0 38785 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 181920 KiB Current children cumulated memory: 158144 KiB [startup+1.50036 s] /proc/loadavg: 2.00 2.05 2.09 3/199 29552 /proc/meminfo: memFree=30986992/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=272892 memory=247296 CPUtime=1.48 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 62026 0 0 0 141 7 0 0 20 0 1 0 556379996 279441408 61824 33554432000 4194304 6211132 140724529547296 140724529541656 5250283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 68223 61824 874 493 0 61528 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 272892 KiB Current children cumulated memory: 247296 KiB [startup+3.11072 s] /proc/loadavg: 1.92 2.03 2.08 3/199 29552 /proc/meminfo: memFree=30913936/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=273308 memory=247896 CPUtime=3.09 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 69849 0 0 0 301 8 0 0 20 0 1 0 556379996 279867392 61974 33554432000 4194304 6211132 140724529547296 140724529544728 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 68327 61974 874 493 0 61632 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 273308 KiB Current children cumulated memory: 247896 KiB [startup+6.30031 s] /proc/loadavg: 1.92 2.03 2.08 3/199 29552 /proc/meminfo: memFree=30884524/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=6.29 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 106000 0 0 0 617 12 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529544728 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+12.7003 s] /proc/loadavg: 1.92 2.03 2.08 3/199 29553 /proc/meminfo: memFree=30884328/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=12.68 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 126312 0 0 0 1255 13 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+25.5003 s] /proc/loadavg: 1.94 2.03 2.08 3/200 29555 /proc/meminfo: memFree=30884188/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=25.49 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 147172 0 0 0 2534 15 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5155352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+51.1106 s] /proc/loadavg: 1.96 2.03 2.08 3/199 29555 /proc/meminfo: memFree=30884612/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=51.09 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 167207 0 0 0 5093 16 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5409481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.02 2.07 3/199 29559 /proc/meminfo: memFree=30884568/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=102.28 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 187291 0 0 0 10211 17 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.02 2.07 3/199 29565 /proc/meminfo: memFree=30884520/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=162.27 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 204373 0 0 0 16209 18 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5156960 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.06 3/199 29569 /proc/meminfo: memFree=30884272/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=222.27 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 225331 0 0 0 22207 20 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5250325 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29581 /proc/meminfo: memFree=30884432/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277112 CPUtime=282.27 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 244512 0 0 0 28206 21 0 0 20 0 1 0 556379996 312238080 69278 33554432000 4194304 6211132 140724529547296 140724529545256 5186256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69278 875 493 0 69535 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277112 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29587 /proc/meminfo: memFree=30882932/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277116 CPUtime=342.23 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 260478 0 0 0 34201 22 0 0 20 0 1 0 556379996 312238080 69279 33554432000 4194304 6211132 140724529547296 140724529545256 5155373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69279 875 493 0 69535 0 Current children cumulated CPU time: 342.23 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277116 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29591 /proc/meminfo: memFree=30882548/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=277360 CPUtime=402.2 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 272675 0 0 0 40197 23 0 0 20 0 1 0 556379996 312238080 69340 33554432000 4194304 6211132 140724529547296 140724529545256 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 69340 875 493 0 69535 0 Current children cumulated CPU time: 402.2 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 277360 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29595 /proc/meminfo: memFree=30879228/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=462.18 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 276058 0 0 0 46195 23 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5155369 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 462.18 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB ################ # More data... # ################ /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 1662.12 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29730 /proc/meminfo: memFree=30877596/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=1722.12 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 285813 0 0 0 172188 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 1722.12 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29736 /proc/meminfo: memFree=30877252/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=1782.11 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 286144 0 0 0 178187 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409471 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 1782.11 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29740 /proc/meminfo: memFree=30877468/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=1842.11 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 286645 0 0 0 184187 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 1842.11 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29744 /proc/meminfo: memFree=30877904/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=1902.11 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 287018 0 0 0 190187 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5250273 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 1902.11 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29750 /proc/meminfo: memFree=30877668/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=1962.1 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 287376 0 0 0 196186 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 1962.1 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29754 /proc/meminfo: memFree=30878188/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2022.1 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 287888 0 0 0 202186 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2022.1 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29824 /proc/meminfo: memFree=31218112/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2082.1 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 288252 0 0 0 208186 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2082.1 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2142.3 s] /proc/loadavg: 2.22 2.06 2.06 3/200 29830 /proc/meminfo: memFree=31217632/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2142.09 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 288744 0 0 0 214185 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2142.09 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2202.3 s] /proc/loadavg: 2.37 2.15 2.09 3/200 29834 /proc/meminfo: memFree=31217684/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2202.09 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 289063 0 0 0 220185 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409508 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2202.09 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2262.3 s] /proc/loadavg: 2.14 2.13 2.09 3/200 29838 /proc/meminfo: memFree=31217108/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2262.09 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 289366 0 0 0 226185 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5156975 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2262.09 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2322.3 s] /proc/loadavg: 2.05 2.10 2.08 3/200 29844 /proc/meminfo: memFree=31216776/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2322.08 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 289837 0 0 0 232184 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2322.08 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB [startup+2382.3 s] /proc/loadavg: 2.02 2.08 2.07 3/200 29849 /proc/meminfo: memFree=31216636/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2382.08 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 290385 0 0 0 238184 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5409493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2382.08 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 2.01 2.08 2.07 3/200 29849 /proc/meminfo: memFree=31216604/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2400.08 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 290639 0 0 0 239984 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.3 s] # the end of solver process 29551 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.84 s, system=0.249987 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 2.01 2.08 2.07 3/200 29849 /proc/meminfo: memFree=31216604/32770688 swapFree=67001380/67108860 [pid=29551] ppid=29548 vsize=304920 memory=281344 CPUtime=2400.08 cores=4-7 /proc/29551/stat : 29551 (cosoco) R 29548 29551 26332 0 -1 4202496 290639 0 0 0 239984 24 0 0 20 0 1 0 556379996 312238080 70336 33554432000 4194304 6211132 140724529547296 140724529545256 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32276480 140724529554443 140724529554545 140724529554545 140724529557454 0 /proc/29551/statm: 76230 70336 875 493 0 69535 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 304920 KiB Current children cumulated memory: 281344 KiB Child status: 1 Real time (s): 2400.3 CPU time (s): 2400.09 CPU user time (s): 2399.84 CPU system time (s): 0.249987 CPU usage (%): 99.9913 Max. virtual memory (cumulated for all children) (KiB): 304920 Max. memory (cumulated for all children) (KiB): 281344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.84 system time used= 0.249987 maximum resident set size= 281408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290679 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= 123 involuntary context switches= 1804 # summary of solver processes directly reported to runsolver: # pid: 29551 # total CPU time (s): 2400.09 # total CPU user time (s): 2399.84 # total CPU system time (s): 0.249987 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.87119 second user time and 18.0949 second system time The end
Begin job on node116 at 2019-09-30 02:45:42 IDJOB=4408684 IDBENCH=135054 IDSOLVER=2875 FILE ID=node116/4408684-1569804385 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K090.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408684-1569804385/watcher-4408684-1569804385 -o /tmp/evaluation-result-4408684-1569804385/solver-4408684-1569804385 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408684-1569804385.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb0a00432fe3f34c7f96c9cd31e06ed3 RANDOM SEED=1186421038 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 31158472 kB MemAvailable: 31515632 kB Buffers: 193628 kB Cached: 483748 kB SwapCached: 3344 kB Active: 714140 kB Inactive: 308464 kB Active(anon): 362840 kB Inactive(anon): 63420 kB Active(file): 351300 kB Inactive(file): 245044 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 3192 kB Writeback: 0 kB AnonPages: 464688 kB Mapped: 28552 kB Shmem: 72416 kB Slab: 183744 kB SReclaimable: 153300 kB SUnreclaim: 30444 kB KernelStack: 3760 kB PageTables: 5748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 907476 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 415744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62024 MiB End job on node116 at 2019-09-30 03:25:43