Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | Wrong UNSAT | 166.953 | 166.993 |
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 01082018 166.65/166.79 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 (10057 MiB free) memory of node 1: 16384 MiB (6229 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304125-1534010200/watcher-4304125-1534010200 -o /tmp/evaluation-result-4304125-1534010200/solver-4304125-1534010200 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20701 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1258245523 HOME/instance-4304125-1534010200.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22762, runsolver pid=22759 [startup+0.100607 s]* /proc/loadavg: 1.92 2.00 2.04 3/186 22763 /proc/meminfo: memFree=16663340/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=44956 memory=19240 CPUtime=0.09 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 5210 0 0 0 9 0 0 0 20 0 1 0 218583328 46034944 4744 33554432000 4194304 7499544 140729206998560 140729206990200 140572897463269 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 11239 4810 622 807 0 4230 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 44956 KiB Current children cumulated memory: 19240 KiB [startup+0.209525 s]* /proc/loadavg: 1.92 2.00 2.04 3/186 22763 /proc/meminfo: memFree=16650056/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=57404 memory=31880 CPUtime=0.21 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 8454 0 0 0 20 1 0 0 20 0 1 0 218583328 58781696 7970 33554432000 4194304 7499544 140729206998560 140729206990200 140572897463269 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 14351 7970 704 807 0 7342 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 57404 KiB Current children cumulated memory: 31880 KiB [startup+0.309332 s]* /proc/loadavg: 1.92 2.00 2.04 3/186 22763 /proc/meminfo: memFree=16646708/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=60376 memory=34784 CPUtime=0.3 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 9206 0 0 0 29 1 0 0 20 0 1 0 218583328 61825024 8696 33554432000 4194304 7499544 140729206998560 140729206990200 6070211 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 15094 8696 704 807 0 8085 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 60376 KiB Current children cumulated memory: 34784 KiB [startup+0.700244 s] /proc/loadavg: 1.92 2.00 2.04 3/186 22763 /proc/meminfo: memFree=16641872/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=71756 memory=46136 CPUtime=0.68 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 12014 0 0 0 67 1 0 0 20 0 1 0 218583328 73478144 11534 33554432000 4194304 7499544 140729206998560 140729206989560 140572904248522 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 17939 11534 704 807 0 10930 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 71756 KiB Current children cumulated memory: 46136 KiB [startup+1.50026 s] /proc/loadavg: 1.92 2.00 2.04 3/186 22763 /proc/meminfo: memFree=16625876/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=98660 memory=73108 CPUtime=1.48 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 18117 0 0 0 146 2 0 0 20 0 1 0 218583328 101027840 18277 33554432000 4194304 7499544 140729206998560 140729206989320 4564151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 24665 18277 704 807 0 17656 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 98660 KiB Current children cumulated memory: 73108 KiB [startup+3.10943 s] /proc/loadavg: 1.92 2.00 2.04 3/186 22763 /proc/meminfo: memFree=16530216/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=139936 memory=114428 CPUtime=3.09 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 29874 0 0 0 304 5 0 0 20 0 1 0 218583328 143294464 28607 33554432000 4194304 7499544 140729206998560 140729206991800 5880802 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 34984 28607 720 807 0 27975 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 139936 KiB Current children cumulated memory: 114428 KiB [startup+6.30034 s] /proc/loadavg: 2.01 2.01 2.05 3/187 22764 /proc/meminfo: memFree=16490236/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=222228 memory=196792 CPUtime=6.29 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 52764 0 0 0 621 8 0 0 20 0 1 0 218583328 227561472 49198 33554432000 4194304 7499544 140729206998560 140729206991800 140572897463269 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 55557 49198 720 807 0 48548 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 222228 KiB Current children cumulated memory: 196792 KiB [startup+12.7003 s] /proc/loadavg: 2.01 2.01 2.05 3/187 22764 /proc/meminfo: memFree=16335468/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=387460 memory=361908 CPUtime=12.68 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 97828 0 0 0 1254 14 0 0 20 0 1 0 218583328 396759040 90477 33554432000 4194304 7499544 140729206998560 140729206989864 5790009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 96865 90477 721 807 0 89856 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 387460 KiB Current children cumulated memory: 361908 KiB [startup+25.5004 s] /proc/loadavg: 2.01 2.01 2.05 3/187 22764 /proc/meminfo: memFree=15998068/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=717260 memory=691836 CPUtime=25.48 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 183760 0 0 0 2523 25 0 0 20 0 1 0 218583328 734474240 172959 33554432000 4194304 7499544 140729206998560 140729206991800 140572897901568 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 179315 172959 722 807 0 172306 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 717260 KiB Current children cumulated memory: 691836 KiB [startup+51.1096 s] /proc/loadavg: 2.00 2.01 2.05 3/187 22764 /proc/meminfo: memFree=15326436/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=1377516 memory=1352108 CPUtime=51.09 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 350375 0 0 0 5059 50 0 0 20 0 1 0 218583328 1410576384 338027 33554432000 4194304 7499544 140729206998560 140729206989864 5881699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 344379 338027 722 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.00 2.01 2.05 3/187 22766 /proc/meminfo: memFree=14005576/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=2701060 memory=2675656 CPUtime=102.27 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 682207 0 0 0 10129 98 0 0 20 0 1 0 218583328 2765885440 668914 33554432000 4194304 7499544 140729206998560 140729206991800 5879570 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 675265 668914 722 807 0 668256 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 2701060 KiB Current children cumulated memory: 2675656 KiB [startup+162.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13533172/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=3164332 memory=3139180 CPUtime=162.25 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 1191292 0 0 0 16094 131 0 0 20 0 1 0 218583328 3240275968 784795 33554432000 4194304 7499544 140729206998560 140729206993016 5773343 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 791083 784795 763 807 0 784074 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139180 KiB [startup+166.993 s] # the end of solver process 22762 was just reported to runsolver # cumulated CPU time of all completed processes: user=165.41 s, system=1.54298 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+163.2 s] /proc/loadavg: 2.06 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13533172/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=3164332 memory=3139180 CPUtime=163.15 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 1217619 0 0 0 16183 132 0 0 20 0 1 0 218583328 3240275968 784795 33554432000 4194304 7499544 140729206998560 140729206993016 5773231 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 791083 784795 763 807 0 784074 0 Current children cumulated CPU time: 163.15 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139180 KiB [startup+164.8 s] /proc/loadavg: 2.05 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13533172/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=3164332 memory=3139180 CPUtime=164.75 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 1218027 0 0 0 16343 132 0 0 20 0 1 0 218583328 3240275968 784795 33554432000 4194304 7499544 140729206998560 140729206993016 5770128 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 791083 784795 763 807 0 784074 0 Current children cumulated CPU time: 164.75 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139180 KiB [startup+165.6 s] /proc/loadavg: 2.05 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13533172/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=3164332 memory=3139180 CPUtime=165.55 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 1218027 0 0 0 16423 132 0 0 20 0 1 0 218583328 3240275968 784795 33554432000 4194304 7499544 140729206998560 140729206993016 5773392 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 791083 784795 763 807 0 784074 0 Current children cumulated CPU time: 165.55 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139180 KiB [startup+166.4 s] /proc/loadavg: 2.05 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13533172/32770624 swapFree=67108844/67108860 [pid=22762] ppid=22759 vsize=3164332 memory=3139180 CPUtime=166.35 cores=0,2,4,6 /proc/22762/stat : 22762 (MistralXCSP) R 22759 22762 20670 0 -1 4202496 1218031 0 0 0 16503 132 0 0 20 0 1 0 218583328 3240275968 784795 33554432000 4194304 7499544 140729206998560 140729206993016 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17960960 140729207002221 140729207002371 140729207002371 140729207005129 0 /proc/22762/statm: 791083 784795 763 807 0 784074 0 Current children cumulated CPU time: 166.35 s Current children cumulated vsize: 3164332 KiB Current children cumulated memory: 3139180 KiB [startup+166.8 s]* /proc/loadavg: 2.05 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13927268/32770624 swapFree=67108844/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+166.91 s] /proc/loadavg: 2.05 2.03 2.05 3/187 22767 /proc/meminfo: memFree=13927268/32770624 swapFree=67108844/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): 166.993 CPU time (s): 166.953 CPU user time (s): 165.41 CPU system time (s): 1.54298 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 3176128 Max. memory (cumulated for all children) (KiB): 3139208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 165.41 system time used= 1.54298 maximum resident set size= 3139216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1247450 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= 60 involuntary context switches= 182 # summary of solver processes directly reported to runsolver: # pid: 22762 # total CPU time (s): 166.953 # total CPU user time (s): 165.41 # total CPU system time (s): 1.54298 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.693038 second user time and 1.17025 second system time The end
Begin job on node136 at 2018-08-11 19:56:42 IDJOB=4304125 IDBENCH=141263 IDSOLVER=2779 FILE ID=node136/4304125-1534010200 RUNJOBID= node136-1533993481-20701 PBS_JOBID= 21036953 Free space on /tmp= 35060 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4304125-1534010200/watcher-4304125-1534010200 -o /tmp/evaluation-result-4304125-1534010200/solver-4304125-1534010200 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20701 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1258245523 HOME/instance-4304125-1534010200.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0ae5362fc8ec35126a2a174beba608b8 RANDOM SEED=1258245523 node136.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.50 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.50 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.50 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.50 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: 16678172 kB MemAvailable: 31889964 kB Buffers: 222404 kB Cached: 15087960 kB SwapCached: 8 kB Active: 7459896 kB Inactive: 7922036 kB Active(anon): 20612 kB Inactive(anon): 103348 kB Active(file): 7439284 kB Inactive(file): 7818688 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108844 kB Dirty: 282560 kB Writeback: 0 kB AnonPages: 228116 kB Mapped: 51464 kB Shmem: 49788 kB Slab: 409772 kB SReclaimable: 382280 kB SUnreclaim: 27492 kB KernelStack: 3536 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 394164 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 35052 MiB End job on node136 at 2018-08-11 19:59:29