Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Mistral-2.0 2018-06-15 | UNSAT | 285.997 | 286.003 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f04_c18.xml |
MD5SUM | 3c3f91fe2d5d1aa7af585cdf812638b5 |
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 | 15.9885 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":14},{"size":33,"count":336},{"size":40,"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 | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Mistral 16062018 285.88/286.00 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 (3942 MiB free) memory of node 1: 16384 MiB (11683 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291827-1532260545/watcher-4291827-1532260545 -o /tmp/evaluation-result-4291827-1532260545/solver-4291827-1532260545 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1751622933 HOME/instance-4291827-1532260545.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=31320, runsolver pid=31317 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 1.52 1.86 1.99 3/187 31321 /proc/meminfo: memFree=15997016/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=31988 memory=6572 CPUtime=0.1 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 1822 0 0 0 10 0 0 0 20 0 1 0 43617650 32755712 1643 33554432000 4194304 7498468 140723706451232 140723706448232 140372849032165 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 7997 1643 700 807 0 988 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31988 KiB Current children cumulated memory: 6572 KiB [startup+0.209351 s]* /proc/loadavg: 1.52 1.86 1.99 3/187 31321 /proc/meminfo: memFree=15993792/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=35440 memory=10024 CPUtime=0.21 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 2685 0 0 0 21 0 0 0 20 0 1 0 43617650 36290560 2506 33554432000 4194304 7498468 140723706451232 140723706441928 140372852513935 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 8860 2506 700 807 0 1851 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 35440 KiB Current children cumulated memory: 10024 KiB [startup+0.309127 s]* /proc/loadavg: 1.52 1.86 1.99 3/187 31321 /proc/meminfo: memFree=15990160/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=38632 memory=13064 CPUtime=0.31 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 3466 0 0 0 31 0 0 0 20 0 1 0 43617650 39559168 3266 33554432000 4194304 7498468 140723706451232 140723706441928 140372849027902 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 9658 3266 700 807 0 2649 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38632 KiB Current children cumulated memory: 13064 KiB [startup+0.70029 s] /proc/loadavg: 1.52 1.86 1.99 3/187 31321 /proc/meminfo: memFree=15984208/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=50404 memory=25028 CPUtime=0.69 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 6473 0 0 0 68 1 0 0 20 0 1 0 43617650 51613696 6257 33554432000 4194304 7498468 140723706451232 140723706441928 140372855229664 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 12601 6257 700 807 0 5592 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 50404 KiB Current children cumulated memory: 25028 KiB [startup+1.5003 s] /proc/loadavg: 1.56 1.87 1.99 3/187 31321 /proc/meminfo: memFree=15968956/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=74576 memory=49036 CPUtime=1.49 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 12555 0 0 0 147 2 0 0 20 0 1 0 43617650 76365824 12259 33554432000 4194304 7498468 140723706451232 140723706441928 5888328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 18644 12259 700 807 0 11635 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 74576 KiB Current children cumulated memory: 49036 KiB [startup+3.10956 s] /proc/loadavg: 1.56 1.87 1.99 3/187 31321 /proc/meminfo: memFree=15866396/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=135952 CPUtime=3.1 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 47375 0 0 0 304 6 0 0 20 0 1 0 43617650 165126144 33988 33554432000 4194304 7498468 140723706451232 140723706441928 4258039 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 33988 733 807 0 33305 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 135952 KiB [startup+6.30036 s] /proc/loadavg: 1.60 1.87 1.99 3/187 31321 /proc/meminfo: memFree=15865488/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136028 CPUtime=6.3 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 51875 0 0 0 623 7 0 0 20 0 1 0 43617650 165126144 34007 33554432000 4194304 7498468 140723706451232 140723706445896 4405496 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34007 733 807 0 33305 0 Current children cumulated CPU time: 6.3 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136028 KiB [startup+12.7004 s] /proc/loadavg: 1.63 1.87 1.99 3/187 31321 /proc/meminfo: memFree=15865488/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136028 CPUtime=12.69 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 56353 0 0 0 1262 7 0 0 20 0 1 0 43617650 165126144 34007 33554432000 4194304 7498468 140723706451232 140723706445896 4258077 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34007 733 807 0 33305 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136028 KiB [startup+25.5004 s] /proc/loadavg: 1.68 1.87 1.99 3/187 31321 /proc/meminfo: memFree=15865908/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136052 CPUtime=25.49 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 65280 0 0 0 2542 7 0 0 20 0 1 0 43617650 165126144 34013 33554432000 4194304 7498468 140723706451232 140723706445896 4258077 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34013 733 807 0 33305 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136052 KiB [startup+51.1096 s] /proc/loadavg: 1.81 1.89 1.99 3/187 31321 /proc/meminfo: memFree=15865916/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136060 CPUtime=51.11 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 69878 0 0 0 5103 8 0 0 20 0 1 0 43617650 165126144 34015 33554432000 4194304 7498468 140723706451232 140723706445896 4320606 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34015 733 807 0 33305 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136060 KiB [startup+102.3 s] /proc/loadavg: 1.92 1.90 1.99 3/187 31322 /proc/meminfo: memFree=15866372/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=102.29 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 74414 0 0 0 10221 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 140372852467383 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+162.3 s] /proc/loadavg: 1.97 1.92 1.99 3/187 31324 /proc/meminfo: memFree=15867852/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=162.28 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 76870 0 0 0 16220 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 140372852467429 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+222.3 s] /proc/loadavg: 1.99 1.93 1.99 3/187 31325 /proc/meminfo: memFree=15867604/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=222.28 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 22220 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 4401253 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31334 /proc/meminfo: memFree=15867156/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=282.28 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 28220 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 4386665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+286.003 s] # the end of solver process 31320 was just reported to runsolver # cumulated CPU time of all completed processes: user=285.908 s, system=0.089006 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+283.2 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31334 /proc/meminfo: memFree=15867156/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=283.18 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 28310 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 4322072 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 283.18 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+284.8 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31334 /proc/meminfo: memFree=15867156/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=284.78 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 28470 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 5587392 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 284.78 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+285.6 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31334 /proc/meminfo: memFree=15867156/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=285.58 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 28550 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 4258024 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 285.58 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+285.8 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31334 /proc/meminfo: memFree=15867156/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=285.78 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 28570 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 4404930 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 285.78 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB [startup+285.9 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31334 /proc/meminfo: memFree=15867156/32770624 swapFree=67108860/67108860 [pid=31320] ppid=31317 vsize=161256 memory=136072 CPUtime=285.88 cores=1,3,5,7 /proc/31320/stat : 31320 (MistralXCSP) R 31317 31320 31076 0 -1 4202496 77197 0 0 0 28580 8 0 0 20 0 1 0 43617650 165126144 34018 33554432000 4194304 7498468 140723706451232 140723706445896 4404853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9801728 140723706459245 140723706459395 140723706459395 140723706462153 0 /proc/31320/statm: 40314 34018 733 807 0 33305 0 Current children cumulated CPU time: 285.88 s Current children cumulated vsize: 161256 KiB Current children cumulated memory: 136072 KiB Child status: 0 Real time (s): 286.003 CPU time (s): 285.997 CPU user time (s): 285.908 CPU system time (s): 0.089006 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 161256 Max. memory (cumulated for all children) (KiB): 136072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 285.908 system time used= 0.089006 maximum resident set size= 136104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77906 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= 46 involuntary context switches= 79 # summary of solver processes directly reported to runsolver: # pid: 31320 # total CPU time (s): 285.997 # total CPU user time (s): 285.908 # total CPU system time (s): 0.089006 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.17294 second user time and 2.09862 second system time The end
Begin job on node105 at 2018-07-22 13:55:45 IDJOB=4291827 IDBENCH=141183 IDSOLVER=2741 FILE ID=node105/4291827-1532260545 RUNJOBID= node105-1532260533-31108 PBS_JOBID= 21018967 Free space on /tmp= 44916 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f04_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291827-1532260545/watcher-4291827-1532260545 -o /tmp/evaluation-result-4291827-1532260545/solver-4291827-1532260545 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1751622933 HOME/instance-4291827-1532260545.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c3f91fe2d5d1aa7af585cdf812638b5 RANDOM SEED=1751622933 node105.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.32 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.32 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.32 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.32 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: 16000492 kB MemAvailable: 31803960 kB Buffers: 155980 kB Cached: 15619876 kB SwapCached: 0 kB Active: 1377100 kB Inactive: 14586704 kB Active(anon): 142124 kB Inactive(anon): 65164 kB Active(file): 1234976 kB Inactive(file): 14521540 kB Unevictable: 7308 kB Mlocked: 7308 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9272 kB Writeback: 0 kB AnonPages: 195076 kB Mapped: 37428 kB Shmem: 17036 kB Slab: 502636 kB SReclaimable: 475412 kB SUnreclaim: 27224 kB KernelStack: 3360 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 480040 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44904 MiB End job on node105 at 2018-07-22 14:00:31