Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PicatSAT 2019-09-12 | UNSAT | 177.102 | 177.119 |
Name | Rlfap_mini/Rlfap-dec-scens11_mini/ Rlfap-ext-scen-11-f02_c18.xml |
MD5SUM | 7ac25fa9c4532324d4bc78edd5427656 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 39.1724 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 4103 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4103}] |
Optimization problem | NO |
Type of objective |
68.48/68.51 c xcsp_picat version 2.7b12 (9/12/2019) 177.08/177.11 s UNSATISFIABLE
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 (14219 MiB free) memory of node 1: 16384 MiB (15155 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394886-1568346752/watcher-4394886-1568346752 -o /tmp/evaluation-result-4394886-1568346752/solver-4394886-1568346752 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4394886-1568346752.xml running on 4 cores: 1,3,5,7 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 solver pid=21516, runsolver pid=21513 Current StackSize limit: 8192 KiB [startup+0.100691 s]* /proc/loadavg: 2.00 2.01 2.05 3/207 21517 /proc/meminfo: memFree=30067848/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2031716 memory=18092 CPUtime=0.1 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 1671 0 0 0 10 0 0 0 20 0 1 0 410597973 2080477184 4523 33554432000 4194304 5870510 140720374529536 140720374528840 4462530 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 507929 4523 822 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 18092 KiB [startup+0.210165 s]* /proc/loadavg: 2.00 2.01 2.05 3/207 21517 /proc/meminfo: memFree=30055452/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2031716 memory=30624 CPUtime=0.2 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 1677 0 0 0 20 0 0 0 20 0 1 0 410597973 2080477184 7656 33554432000 4194304 5870510 140720374529536 140720374528840 140253115526144 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 507929 7656 841 410 0 503402 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 30624 KiB [startup+0.310062 s]* /proc/loadavg: 2.00 2.01 2.05 3/207 21517 /proc/meminfo: memFree=30043164/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2031716 memory=40864 CPUtime=0.3 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 1693 0 0 0 30 0 0 0 20 0 1 0 410597973 2080477184 10216 33554432000 4194304 5870510 140720374529536 140720374528840 4849293 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 507929 10216 841 410 0 503402 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 40864 KiB [startup+0.700381 s] /proc/loadavg: 2.00 2.01 2.05 3/207 21517 /proc/meminfo: memFree=29997612/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2031716 memory=127004 CPUtime=0.69 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 1755 0 0 0 67 2 0 0 20 0 1 0 410597973 2080477184 31751 33554432000 4194304 5870510 140720374529536 140720374528904 4509101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 507929 31751 864 410 0 503402 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 127004 KiB [startup+1.50032 s] /proc/loadavg: 2.00 2.01 2.05 3/207 21517 /proc/meminfo: memFree=29907756/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2080692 memory=209580 CPUtime=1.48 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 12559 0 0 0 145 3 0 0 20 0 1 0 410597973 2130628608 52395 33554432000 4194304 5870510 140720374529536 140720374528904 5287589 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 520173 52395 931 410 0 515646 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 2080692 KiB Current children cumulated memory: 209580 KiB [startup+3.10981 s] /proc/loadavg: 2.00 2.01 2.05 3/206 21517 /proc/meminfo: memFree=29861772/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2086856 memory=219780 CPUtime=3.09 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 18079 0 0 0 305 4 0 0 20 0 1 0 410597973 2136940544 54945 33554432000 4194304 5870510 140720374529536 140720374528904 5548007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 521714 54945 931 410 0 517187 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 2086856 KiB Current children cumulated memory: 219780 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.01 2.05 3/206 21517 /proc/meminfo: memFree=29858724/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2113224 memory=241200 CPUtime=6.28 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 28142 0 0 0 622 6 0 0 20 0 1 0 410597973 2163941376 60300 33554432000 4194304 5870510 140720374529536 140720374528648 140253115547527 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 528306 60300 931 410 0 523779 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 2113224 KiB Current children cumulated memory: 241200 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/206 21517 /proc/meminfo: memFree=29834732/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2135792 memory=259176 CPUtime=12.68 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 50985 0 0 0 1259 9 0 0 20 0 1 0 410597973 2187051008 64794 33554432000 4194304 5870510 140720374529536 140720374528792 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 533948 64794 961 410 0 529421 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 2135792 KiB Current children cumulated memory: 259176 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/206 21517 /proc/meminfo: memFree=29806176/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2169692 memory=289928 CPUtime=25.48 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 75679 0 0 0 2535 13 0 0 20 0 1 0 410597973 2221764608 72482 33554432000 4194304 5870510 140720374529536 140720374527896 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 542423 72482 963 410 0 537896 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 2169692 KiB Current children cumulated memory: 289928 KiB [startup+51.111 s] /proc/loadavg: 2.00 2.01 2.05 3/207 21520 /proc/meminfo: memFree=29811096/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2143576 memory=269128 CPUtime=51.09 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 104926 0 0 0 5089 20 0 0 20 0 1 0 410597973 2195021824 67282 33554432000 4194304 5870510 140720374529536 140720374528488 5275600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 535894 67282 963 410 0 531367 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 2143576 KiB Current children cumulated memory: 269128 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/206 21524 /proc/meminfo: memFree=29811356/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2148344 memory=276036 CPUtime=102.28 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 140682 0 0 0 10200 28 0 0 20 0 1 0 410597973 2199904256 69009 33554432000 4194304 5870510 140720374529536 140720374527896 5282597 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 537086 69009 963 410 0 532559 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 2148344 KiB Current children cumulated memory: 276036 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29809308/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2151768 memory=277408 CPUtime=162.27 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 176473 0 0 0 16187 40 0 0 20 0 1 0 410597973 2203410432 69352 33554432000 4194304 5870510 140720374529536 140720374528552 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 537942 69352 963 410 0 533415 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 2151768 KiB Current children cumulated memory: 277408 KiB [startup+177.119 s] # the end of solver process 21516 was just reported to runsolver # cumulated CPU time of all completed processes: user=176.669 s, system=0.432969 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+166.4 s] /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29796772/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2152220 memory=283844 CPUtime=166.38 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 176715 0 0 0 16597 41 0 0 20 0 1 0 410597973 2203873280 70961 33554432000 4194304 5870510 140720374529536 140720374527896 5263434 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538055 70961 963 410 0 533528 0 Current children cumulated CPU time: 166.38 s Current children cumulated vsize: 2152220 KiB Current children cumulated memory: 283844 KiB [startup+172.8 s] /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29815244/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2152776 memory=276492 CPUtime=172.78 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 177475 0 0 0 17236 42 0 0 20 0 1 0 410597973 2204442624 69123 33554432000 4194304 5870510 140720374529536 140720374527896 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538194 69123 963 410 0 533667 0 Current children cumulated CPU time: 172.78 s Current children cumulated vsize: 2152776 KiB Current children cumulated memory: 276492 KiB [startup+174.4 s] /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29808976/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2152908 memory=280708 CPUtime=174.38 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 177512 0 0 0 17396 42 0 0 20 0 1 0 410597973 2204577792 70177 33554432000 4194304 5870510 140720374529536 140720374527896 5282747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538227 70177 963 410 0 533700 0 Current children cumulated CPU time: 174.38 s Current children cumulated vsize: 2152908 KiB Current children cumulated memory: 280708 KiB [startup+176 s]* /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29802832/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2152908 memory=282756 CPUtime=175.99 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 177545 0 0 0 17557 42 0 0 20 0 1 0 410597973 2204577792 70689 33554432000 4194304 5870510 140720374529536 140720374527896 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538227 70689 963 410 0 533700 0 Current children cumulated CPU time: 175.99 s Current children cumulated vsize: 2152908 KiB Current children cumulated memory: 282756 KiB [startup+176.8 s] /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29802832/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2153288 memory=272720 CPUtime=176.77 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 178164 0 0 0 17635 42 0 0 20 0 1 0 410597973 2204966912 68180 33554432000 4194304 5870510 140720374529536 140720374527896 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538322 68180 963 410 0 533795 0 Current children cumulated CPU time: 176.77 s Current children cumulated vsize: 2153288 KiB Current children cumulated memory: 272720 KiB [startup+177 s]* /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29812576/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2153288 memory=272720 CPUtime=176.98 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 178165 0 0 0 17656 42 0 0 20 0 1 0 410597973 2204966912 68180 33554432000 4194304 5870510 140720374529536 140720374527896 5262735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538322 68180 963 410 0 533795 0 Current children cumulated CPU time: 176.98 s Current children cumulated vsize: 2153288 KiB Current children cumulated memory: 272720 KiB [startup+177.11 s] /proc/loadavg: 2.00 2.01 2.05 3/205 21528 /proc/meminfo: memFree=29812576/32770624 swapFree=67008932/67108860 [pid=21516] ppid=21513 vsize=2153456 memory=272720 CPUtime=177.08 cores=1,3,5,7 /proc/21516/stat : 21516 (xcsp_picat) R 21513 21516 14854 0 -1 4202496 178186 0 0 0 17666 42 0 0 20 0 1 0 410597973 2205138944 68180 33554432000 4194304 5870510 140720374529536 140720374527896 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 30842880 140720374535199 140720374535277 140720374535277 140720374538186 0 /proc/21516/statm: 538364 68180 963 410 0 533837 0 Current children cumulated CPU time: 177.08 s Current children cumulated vsize: 2153456 KiB Current children cumulated memory: 272720 KiB Child status: 0 Real time (s): 177.119 CPU time (s): 177.102 CPU user time (s): 176.669 CPU system time (s): 0.432969 CPU usage (%): 99.9907 Max. virtual memory (cumulated for all children) (KiB): 2231772 Max. memory (cumulated for all children) (KiB): 327116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 176.669 system time used= 0.432969 maximum resident set size= 338788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178297 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= 48 # summary of solver processes directly reported to runsolver: # pid: 21516 # total CPU time (s): 177.102 # total CPU user time (s): 176.669 # total CPU system time (s): 0.432969 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.724161 second user time and 1.36123 second system time The end
Begin job on node132 at 2019-09-13 05:51:43 IDJOB=4394886 IDBENCH=141062 IDSOLVER=2844 FILE ID=node132/4394886-1568346752 RUNJOBID= node132-1568322174-14886 PBS_JOBID= 21701138 Free space on /tmp= 60300 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f02_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394886-1568346752/watcher-4394886-1568346752 -o /tmp/evaluation-result-4394886-1568346752/solver-4394886-1568346752 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4394886-1568346752.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7ac25fa9c4532324d4bc78edd5427656 RANDOM SEED=2102809061 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: 30080600 kB MemAvailable: 31477944 kB Buffers: 129012 kB Cached: 1539236 kB SwapCached: 8408 kB Active: 756976 kB Inactive: 1354308 kB Active(anon): 442452 kB Inactive(anon): 28016 kB Active(file): 314524 kB Inactive(file): 1326292 kB Unevictable: 109188 kB Mlocked: 109188 kB SwapTotal: 67108860 kB SwapFree: 67008932 kB Dirty: 3376 kB Writeback: 0 kB AnonPages: 494916 kB Mapped: 33220 kB Shmem: 18796 kB Slab: 173832 kB SReclaimable: 144724 kB SUnreclaim: 29108 kB KernelStack: 3744 kB PageTables: 6580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2911552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 335872 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= 60300 MiB End job on node132 at 2019-09-13 05:54:40