Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | Wrong UNSAT | 168.362 | 168.381 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml |
MD5SUM | 0ae5362fc8ec35126a2a174beba608b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1603939205 |
Best CPU time to get the best result obtained on this benchmark | 2520.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 13855 |
Number of constraints | 8996 |
Number of domains | 202 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":4816},{"size":11,"count":4218},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":10},{"size":25,"count":44},{"size":29,"count":37},{"size":31,"count":2},{"size":32,"count":3},{"size":33,"count":37},{"size":34,"count":12},{"size":35,"count":9},{"size":36,"count":11},{"size":37,"count":13},{"size":38,"count":8},{"size":39,"count":37},{"size":40,"count":13},{"size":41,"count":28},{"size":42,"count":21},{"size":43,"count":32},{"size":44,"count":30},{"size":45,"count":18},{"size":46,"count":11},{"size":48,"count":13},"...",{"size":119,"count":4}, {"size":120,"count":3}, {"size":121,"count":17}, {"size":123,"count":97}, {"size":125,"count":18}, {"size":126,"count":17}, {"size":127,"count":42}, {"size":128,"count":76}, {"size":130,"count":61}, {"size":131,"count":88}, {"size":132,"count":46}, {"size":133,"count":30}, {"size":135,"count":53}, {"size":136,"count":94}, {"size":137,"count":43}, {"size":138,"count":8}, {"size":139,"count":29}, {"size":141,"count":5}, {"size":143,"count":122}, {"size":144,"count":136}, {"size":145,"count":57}, {"size":147,"count":60}, {"size":148,"count":54}, {"size":150,"count":21}, {"size":151,"count":1165}] |
Minimum variable degree | 2 |
Maximum variable degree | 4219 |
Distribution of variable degrees | [{"degree":2,"count":12654},{"degree":3,"count":1},{"degree":4,"count":10},{"degree":5,"count":17},{"degree":6,"count":18},{"degree":7,"count":18},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":76},{"degree":11,"count":64},{"degree":12,"count":63},{"degree":13,"count":48},{"degree":14,"count":63},{"degree":15,"count":70},{"degree":16,"count":93},{"degree":17,"count":127},{"degree":18,"count":153},{"degree":19,"count":186},{"degree":20,"count":110},{"degree":21,"count":1},{"degree":4219,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":560},{"arity":3,"count":4218},{"arity":6,"count":4218}] |
Number of extensional constraints | 4218 |
Number of intensional constraints | 4778 |
Distribution of constraint types | [{"type":"extension","count":4218},{"type":"intension","count":4778}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 168.17/168.21 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 (8072 MiB free) memory of node 1: 16384 MiB (12924 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291997-1532263484/watcher-4291997-1532263484 -o /tmp/evaluation-result-4291997-1532263484/solver-4291997-1532263484 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532261025-702 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 257743483 HOME/instance-4291997-1532263484.xml running on 4 cores: 0,2,4,6 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=1402, runsolver pid=1399 Current StackSize limit: 8192 KiB [startup+0.101029 s]* /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21482560/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=43772 memory=17916 CPUtime=0.09 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 4909 0 0 0 9 0 0 0 20 0 1 0 43911804 44822528 4479 33554432000 4194304 7498468 140731650782672 140731650774312 139713041652709 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 10943 4479 621 807 0 3934 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 43772 KiB Current children cumulated memory: 17916 KiB [startup+0.209527 s]* /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21468672/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=57404 memory=31876 CPUtime=0.2 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 8452 0 0 0 19 1 0 0 20 0 1 0 43911804 58781696 7969 33554432000 4194304 7498468 140731650782672 140731650774312 139713041652709 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 14351 7969 704 807 0 7342 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 57404 KiB Current children cumulated memory: 31876 KiB [startup+0.309435 s]* /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21465448/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=60376 memory=34780 CPUtime=0.3 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 9208 0 0 0 29 1 0 0 20 0 1 0 43911804 61825024 8695 33554432000 4194304 7498468 140731650782672 140731650774312 139713042091008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 15094 8695 704 807 0 8085 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 60376 KiB Current children cumulated memory: 34780 KiB [startup+0.700298 s] /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21460612/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=72028 memory=46396 CPUtime=0.68 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 12093 0 0 0 67 1 0 0 20 0 1 0 43911804 73756672 11599 33554432000 4194304 7498468 140731650782672 140731650773592 139713047849014 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 18007 11599 704 807 0 10998 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 72028 KiB Current children cumulated memory: 46396 KiB [startup+1.50031 s] /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21443352/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=99440 memory=73900 CPUtime=1.48 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 18299 0 0 0 146 2 0 0 20 0 1 0 43911804 101826560 18475 33554432000 4194304 7498468 140731650782672 140731650773592 4293010 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 24860 18475 704 807 0 17851 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 99440 KiB Current children cumulated memory: 73900 KiB [startup+3.10932 s] /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21386628/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=140672 memory=115096 CPUtime=3.1 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 29366 0 0 0 306 4 0 0 20 0 1 0 43911804 144048128 28774 33554432000 4194304 7498468 140731650782672 140731650775912 5882092 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 35168 28774 717 807 0 28159 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 140672 KiB Current children cumulated memory: 115096 KiB [startup+6.30028 s] /proc/loadavg: 2.05 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21307888/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=223092 memory=197792 CPUtime=6.29 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 52815 0 0 0 622 7 0 0 20 0 1 0 43911804 228446208 49448 33554432000 4194304 7498468 140731650782672 140731650775912 5875400 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 55773 49448 717 807 0 48764 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 223092 KiB Current children cumulated memory: 197792 KiB [startup+12.7003 s] /proc/loadavg: 2.04 2.04 2.05 3/187 1403 /proc/meminfo: memFree=21154020/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=387964 memory=362444 CPUtime=12.68 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 97998 0 0 0 1257 11 0 0 20 0 1 0 43911804 397275136 90611 33554432000 4194304 7498468 140731650782672 140731650773976 139713042091008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 96991 90611 718 807 0 89982 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 387964 KiB Current children cumulated memory: 362444 KiB [startup+25.5003 s] /proc/loadavg: 2.03 2.04 2.05 3/187 1403 /proc/meminfo: memFree=20817452/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=717844 memory=692468 CPUtime=25.49 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 184427 0 0 0 2526 23 0 0 20 0 1 0 43911804 735072256 173117 33554432000 4194304 7498468 140731650782672 140731650775912 5882108 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 179461 173117 719 807 0 172452 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 717844 KiB Current children cumulated memory: 692468 KiB [startup+51.1093 s] /proc/loadavg: 2.02 2.03 2.05 3/187 1403 /proc/meminfo: memFree=20146704/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=1377516 memory=1352108 CPUtime=51.09 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 354324 0 0 0 5067 42 0 0 20 0 1 0 43911804 1410576384 338027 33554432000 4194304 7498468 140731650782672 140731650775912 139713042091008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 344379 338027 719 807 0 337370 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 1377516 KiB Current children cumulated memory: 1352108 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 1404 /proc/meminfo: memFree=18828040/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=2698092 memory=2672604 CPUtime=102.28 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 687619 0 0 0 10142 86 0 0 20 0 1 0 43911804 2762846208 668151 33554432000 4194304 7498468 140731650782672 140731650775912 139713042091008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 674523 668151 719 807 0 667514 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 2698092 KiB Current children cumulated memory: 2672604 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=18351744/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=3164332 memory=3139148 CPUtime=162.27 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 1219257 0 0 0 16107 120 0 0 20 0 1 0 43911804 3240275968 784787 33554432000 4194304 7498468 140731650782672 140731650777128 5773795 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 791083 784787 756 807 0 784074 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139148 KiB [startup+168.381 s] # the end of solver process 1402 was just reported to runsolver # cumulated CPU time of all completed processes: user=166.961 s, system=1.40086 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+163.2 s] /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=18351752/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=3164332 memory=3139148 CPUtime=163.17 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 1219382 0 0 0 16197 120 0 0 20 0 1 0 43911804 3240275968 784787 33554432000 4194304 7498468 140731650782672 140731650777128 5770753 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 791083 784787 756 807 0 784074 0 Current children cumulated CPU time: 163.17 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139148 KiB [startup+166.4 s] /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=18351864/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=3164332 memory=3139148 CPUtime=166.37 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 1246309 0 0 0 16516 121 0 0 20 0 1 0 43911804 3240275968 784787 33554432000 4194304 7498468 140731650782672 140731650777128 5791403 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 791083 784787 756 807 0 784074 0 Current children cumulated CPU time: 166.37 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139148 KiB [startup+167.2 s] /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=18351864/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=3164332 memory=3139148 CPUtime=167.17 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 1246309 0 0 0 16596 121 0 0 20 0 1 0 43911804 3240275968 784787 33554432000 4194304 7498468 140731650782672 140731650777128 4249967 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 791083 784787 756 807 0 784074 0 Current children cumulated CPU time: 167.17 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139148 KiB [startup+168 s]* /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=18351864/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=3164332 memory=3139148 CPUtime=167.97 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 1246311 0 0 0 16676 121 0 0 20 0 1 0 43911804 3240275968 784787 33554432000 4194304 7498468 140731650782672 140731650777128 4545925 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 791083 784787 756 807 0 784074 0 Current children cumulated CPU time: 167.97 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139148 KiB [startup+168.2 s] /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=18351864/32770624 swapFree=67108860/67108860 [pid=1402] ppid=1399 vsize=3164332 memory=3139188 CPUtime=168.17 cores=0,2,4,6 /proc/1402/stat : 1402 (MistralXCSP) R 1399 1402 671 0 -1 4202496 1282119 0 0 0 16695 122 0 0 20 0 1 0 43911804 3240275968 784797 33554432000 4194304 7498468 140731650782672 140731650777128 139713041662860 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20406272 140731650786414 140731650786563 140731650786563 140731650789321 0 /proc/1402/statm: 791083 784797 766 807 0 784074 0 Current children cumulated CPU time: 168.17 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139188 KiB [startup+168.3 s]* /proc/loadavg: 2.00 2.02 2.05 3/187 1405 /proc/meminfo: memFree=20025940/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 168.381 CPU time (s): 168.362 CPU user time (s): 166.961 CPU system time (s): 1.40086 CPU usage (%): 99.9884 Max. virtual memory (cumulated for all children) (KiB): 3164332 Max. memory (cumulated for all children) (KiB): 3139188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 166.961 system time used= 1.40086 maximum resident set size= 3139188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1282876 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 257 # summary of solver processes directly reported to runsolver: # pid: 1402 # total CPU time (s): 168.362 # total CPU user time (s): 166.961 # total CPU system time (s): 1.40086 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.653506 second user time and 1.18071 second system time The end
Begin job on node150 at 2018-07-22 14:44:45 IDJOB=4291997 IDBENCH=141263 IDSOLVER=2741 FILE ID=node150/4291997-1532263484 RUNJOBID= node150-1532261025-702 PBS_JOBID= 21018970 Free space on /tmp= 56884 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-07-0600_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-4291997-1532263484/watcher-4291997-1532263484 -o /tmp/evaluation-result-4291997-1532263484/solver-4291997-1532263484 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532261025-702 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 257743483 HOME/instance-4291997-1532263484.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0ae5362fc8ec35126a2a174beba608b8 RANDOM SEED=257743483 node150.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.76 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.76 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.76 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.76 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: 21501916 kB MemAvailable: 30838872 kB Buffers: 186076 kB Cached: 9353688 kB SwapCached: 0 kB Active: 2547164 kB Inactive: 8146404 kB Active(anon): 1111832 kB Inactive(anon): 61492 kB Active(file): 1435332 kB Inactive(file): 8084912 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 236392 kB Writeback: 39536 kB AnonPages: 1161428 kB Mapped: 37296 kB Shmem: 17032 kB Slab: 272060 kB SReclaimable: 245172 kB SUnreclaim: 26888 kB KernelStack: 3280 kB PageTables: 7196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1445472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 56876 MiB End job on node150 at 2018-07-22 14:47:34