Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
(reference) PicatSAT 2019-09-12 | OPT | 8 | 14.9801 | 14.9791 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbp-20-10-1.xml |
MD5SUM | 9a8cbf5cb3e98f462f173e96713d469d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 14.9801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 620 |
Number of constraints | 611 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":2,"count":400},{"size":3,"count":200},{"size":10,"count":10},{"size":11,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":230},{"degree":3,"count":380},{"degree":21,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":2,"count":220},{"arity":3,"count":380},{"arity":10,"count":1},{"arity":21,"count":10}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 200 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":200}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
14.89/14.97 c xcsp_picat version 2.7b12 (9/12/2019) 14.89/14.97 o 8 14.89/14.97 s OPTIMUM FOUND 14.89/14.97 v <instantiation> 14.89/14.97 v <list> o[][] so[] np[][] r[][] p[] </list> 14.89/14.97 v <values> 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 3 5 7 6 7 7 5 7 8 1 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 1 1 1 2 2 0 0 0 0 0 0 0 1 2 2 0 1 2 2 2 2 2 2 2 2 0 0 1 1 1 1 1 1 2 2 0 0 1 1 1 2 2 2 2 2 0 0 0 0 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 1 2 2 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 2 2 2 2 0 0 0 1 1 1 2 2 2 2 0 0 0 1 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 8 9 0 6 7 5 4 2 1 3 </values> 14.89/14.97 v </instantiation>
OK 8
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (15418 MiB free) memory of node 1: 16384 MiB (7614 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407879-1569514215/watcher-4407879-1569514215 -o /tmp/evaluation-result-4407879-1569514215/solver-4407879-1569514215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569509600-2162 --watchdog 2560 xcsp_picat HOME/instance-4407879-1569514215.xml running on 4 cores: 0-3 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 Current StackSize limit: 8192 KiB solver pid=3479, runsolver pid=3476 [startup+0.100157 s]* /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23571972/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2044132 memory=17884 CPUtime=0.1 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 1561 0 0 0 10 0 0 0 20 0 1 0 527363106 2093191168 4471 33554432000 4194304 5870510 140735801142208 140735801139352 5562072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511033 4471 954 410 0 506506 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2044132 KiB Current children cumulated memory: 17884 KiB [startup+0.210902 s]* /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23571972/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2044016 memory=17896 CPUtime=0.21 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 1565 0 0 0 21 0 0 0 20 0 1 0 527363106 2093072384 4474 33554432000 4194304 5870510 140735801142208 140735801139352 5477225 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511004 4474 954 410 0 506477 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2044016 KiB Current children cumulated memory: 17896 KiB [startup+0.310127 s]* /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23571972/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2044140 memory=17932 CPUtime=0.31 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 1579 0 0 0 31 0 0 0 20 0 1 0 527363106 2093199360 4483 33554432000 4194304 5870510 140735801142208 140735801139352 5476912 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511035 4483 954 410 0 506508 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2044140 KiB Current children cumulated memory: 17932 KiB [startup+0.700286 s] /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23571972/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2044164 memory=17920 CPUtime=0.69 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 1623 0 0 0 69 0 0 0 20 0 1 0 527363106 2093223936 4480 33554432000 4194304 5870510 140735801142208 140735801141304 5478371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511041 4480 954 410 0 506514 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2044164 KiB Current children cumulated memory: 17920 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23572064/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2044384 memory=18212 CPUtime=1.49 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 1692 0 0 0 149 0 0 0 20 0 1 0 527363106 2093449216 4553 33554432000 4194304 5870510 140735801142208 140735801141304 5562064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511096 4553 954 410 0 506569 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2044384 KiB Current children cumulated memory: 18212 KiB [startup+3.1103 s] /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23569644/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2044200 memory=19660 CPUtime=3.1 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 2575 0 0 0 310 0 0 0 20 0 1 0 527363106 2093260800 4915 33554432000 4194304 5870510 140735801142208 140735801141304 5476990 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511050 4915 986 410 0 506523 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2044200 KiB Current children cumulated memory: 19660 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.02 2.01 3/199 3480 /proc/meminfo: memFree=23568188/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045572 memory=21664 CPUtime=6.29 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 3245 0 0 0 628 1 0 0 20 0 1 0 527363106 2094665728 5416 33554432000 4194304 5870510 140735801142208 140735801141304 5476957 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511393 5416 986 410 0 506866 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2045572 KiB Current children cumulated memory: 21664 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.01 3/200 3482 /proc/meminfo: memFree=23553332/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045600 memory=23964 CPUtime=12.69 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 7626 0 0 0 1266 3 0 0 20 0 1 0 527363106 2094694400 5991 33554432000 4194304 5870510 140735801142208 140735801140648 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511400 5991 994 410 0 506873 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2045600 KiB Current children cumulated memory: 23964 KiB [startup+14.9791 s] # the end of solver process 3479 was just reported to runsolver # cumulated CPU time of all completed processes: user=14.9431 s, system=0.037002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8003 s] /proc/loadavg: 2.00 2.02 2.01 3/200 3482 /proc/meminfo: memFree=23553332/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045600 memory=23964 CPUtime=12.79 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 7626 0 0 0 1276 3 0 0 20 0 1 0 527363106 2094694400 5991 33554432000 4194304 5870510 140735801142208 140735801140648 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511400 5991 994 410 0 506873 0 Current children cumulated CPU time: 12.79 s Current children cumulated vsize: 2045600 KiB Current children cumulated memory: 23964 KiB [startup+13.6003 s] /proc/loadavg: 2.00 2.02 2.01 3/200 3482 /proc/meminfo: memFree=23562640/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045600 memory=23964 CPUtime=13.59 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 7635 0 0 0 1356 3 0 0 20 0 1 0 527363106 2094694400 5991 33554432000 4194304 5870510 140735801142208 140735801141304 5478371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511400 5991 994 410 0 506873 0 Current children cumulated CPU time: 13.59 s Current children cumulated vsize: 2045600 KiB Current children cumulated memory: 23964 KiB [startup+14.4003 s] /proc/loadavg: 2.00 2.02 2.01 3/200 3482 /proc/meminfo: memFree=23562640/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045600 memory=23964 CPUtime=14.39 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 7639 0 0 0 1436 3 0 0 20 0 1 0 527363106 2094694400 5991 33554432000 4194304 5870510 140735801142208 140735801141304 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511400 5991 994 410 0 506873 0 Current children cumulated CPU time: 14.39 s Current children cumulated vsize: 2045600 KiB Current children cumulated memory: 23964 KiB [startup+14.8003 s] /proc/loadavg: 2.00 2.02 2.01 3/200 3482 /proc/meminfo: memFree=23562640/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045900 memory=23988 CPUtime=14.79 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 7699 0 0 0 1476 3 0 0 20 0 1 0 527363106 2095001600 5997 33554432000 4194304 5870510 140735801142208 140735801141304 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511475 5997 994 410 0 506948 0 Current children cumulated CPU time: 14.79 s Current children cumulated vsize: 2045900 KiB Current children cumulated memory: 23988 KiB [startup+14.9003 s] /proc/loadavg: 2.00 2.02 2.01 3/200 3482 /proc/meminfo: memFree=23562640/32770688 swapFree=67001348/67108860 [pid=3479] ppid=3476 vsize=2045900 memory=23988 CPUtime=14.89 cores=0-3 /proc/3479/stat : 3479 (xcsp_picat) R 3476 3479 2131 0 -1 4202496 7699 0 0 0 1486 3 0 0 20 0 1 0 527363106 2095001600 5997 33554432000 4194304 5870510 140735801142208 140735801141304 5288720 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45408256 140735801148447 140735801148525 140735801148525 140735801151434 0 /proc/3479/statm: 511475 5997 994 410 0 506948 0 Current children cumulated CPU time: 14.89 s Current children cumulated vsize: 2045900 KiB Current children cumulated memory: 23988 KiB Child status: 0 Real time (s): 14.9791 CPU time (s): 14.9801 CPU user time (s): 14.9431 CPU system time (s): 0.037002 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 2056628 Max. memory (cumulated for all children) (KiB): 34828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.9431 system time used= 0.037002 maximum resident set size= 34868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7760 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= 6 # summary of solver processes directly reported to runsolver: # pid: 3479 # total CPU time (s): 14.9801 # total CPU user time (s): 14.9431 # total CPU system time (s): 0.037002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.086312 second user time and 0.149747 second system time The end
Begin job on node116 at 2019-09-26 18:09:33 IDJOB=4407879 IDBENCH=140497 IDSOLVER=2873 FILE ID=node116/4407879-1569514215 RUNJOBID= node116-1569509600-2162 PBS_JOBID= 21705797 Free space on /tmp= 6544 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbp-20-10-1.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407879-1569514215/watcher-4407879-1569514215 -o /tmp/evaluation-result-4407879-1569514215/solver-4407879-1569514215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569509600-2162 --watchdog 2560 xcsp_picat HOME/instance-4407879-1569514215.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a8cbf5cb3e98f462f173e96713d469d RANDOM SEED=2096772247 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 23585544 kB MemAvailable: 29869104 kB Buffers: 136828 kB Cached: 6295364 kB SwapCached: 3248 kB Active: 5145924 kB Inactive: 3247556 kB Active(anon): 1979232 kB Inactive(anon): 54536 kB Active(file): 3166692 kB Inactive(file): 3193020 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 67001348 kB Dirty: 3180 kB Writeback: 0 kB AnonPages: 2109488 kB Mapped: 24048 kB Shmem: 64220 kB Slab: 382752 kB SReclaimable: 352308 kB SUnreclaim: 30444 kB KernelStack: 3760 kB PageTables: 9040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 3921924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1898496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6540 MiB End job on node116 at 2019-09-26 18:09:48