Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
(reference) PicatSAT 2019-09-12 | UNSAT | 37.7433 | 37.7418 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-10-1.xml |
MD5SUM | 04263f06d7f4389d01b9d141494c3595 |
Bench Category | COP (optimization 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 | 37.7433 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 920 |
Number of constraints | 911 |
Number of domains | 7 |
Minimum domain size | 2 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":2,"count":700},{"size":3,"count":110},{"size":4,"count":60},{"size":5,"count":20},{"size":6,"count":10},{"size":10,"count":10},{"size":11,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":340},{"degree":3,"count":570},{"degree":31,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":330},{"arity":3,"count":570},{"arity":10,"count":1},{"arity":31,"count":10}] |
Number of extensional constraints | 300 |
Number of intensional constraints | 300 |
Distribution of constraint types | [{"type":"extension","count":300},{"type":"intension","count":300},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":300}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
37.69/37.74 c xcsp_picat version 2.7b12 (9/12/2019) 37.69/37.74 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: 16375 MiB (15416 MiB free) memory of node 1: 16384 MiB (9464 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407618-1569510981/watcher-4407618-1569510981 -o /tmp/evaluation-result-4407618-1569510981/solver-4407618-1569510981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569509600-2162 --watchdog 2560 xcsp_picat HOME/instance-4407618-1569510981.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=2534, runsolver pid=2531 [startup+0.100159 s]* /proc/loadavg: 2.04 2.00 1.55 3/199 2535 /proc/meminfo: memFree=25465220/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044132 memory=18152 CPUtime=0.1 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 1626 0 0 0 10 0 0 0 20 0 1 0 527039651 2093191168 4538 33554432000 4194304 5870510 140726210343952 140726210341096 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511033 4538 956 410 0 506506 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2044132 KiB Current children cumulated memory: 18152 KiB [startup+0.210695 s]* /proc/loadavg: 2.04 2.00 1.55 3/199 2535 /proc/meminfo: memFree=25465220/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044068 memory=18164 CPUtime=0.21 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 1634 0 0 0 21 0 0 0 20 0 1 0 527039651 2093125632 4541 33554432000 4194304 5870510 140726210343952 140726210341096 5562052 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511017 4541 956 410 0 506490 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2044068 KiB Current children cumulated memory: 18164 KiB [startup+0.310247 s]* /proc/loadavg: 2.04 2.00 1.55 3/199 2535 /proc/meminfo: memFree=25460704/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044068 memory=18164 CPUtime=0.31 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 1634 0 0 0 31 0 0 0 20 0 1 0 527039651 2093125632 4541 33554432000 4194304 5870510 140726210343952 140726210341096 5562052 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511017 4541 956 410 0 506490 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2044068 KiB Current children cumulated memory: 18164 KiB [startup+0.700287 s] /proc/loadavg: 2.04 2.00 1.55 3/199 2535 /proc/meminfo: memFree=25460120/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044088 memory=18248 CPUtime=0.69 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 1650 0 0 0 69 0 0 0 20 0 1 0 527039651 2093146112 4562 33554432000 4194304 5870510 140726210343952 140726210342648 140340673224583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511022 4562 956 410 0 506495 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2044088 KiB Current children cumulated memory: 18248 KiB [startup+1.50029 s] /proc/loadavg: 2.04 2.00 1.55 3/200 2537 /proc/meminfo: memFree=25458624/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044280 memory=18384 CPUtime=1.49 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 1706 0 0 0 149 0 0 0 20 0 1 0 527039651 2093342720 4596 33554432000 4194304 5870510 140726210343952 140726210342648 5477031 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511070 4596 956 410 0 506543 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2044280 KiB Current children cumulated memory: 18384 KiB [startup+3.11041 s] /proc/loadavg: 2.03 2.00 1.56 3/200 2537 /proc/meminfo: memFree=25458104/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044380 memory=18636 CPUtime=3.1 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 2020 0 0 0 310 0 0 0 20 0 1 0 527039651 2093445120 4659 33554432000 4194304 5870510 140726210343952 140726210342712 140340673224583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511095 4659 956 410 0 506568 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2044380 KiB Current children cumulated memory: 18636 KiB [startup+6.30028 s] /proc/loadavg: 2.03 2.00 1.56 3/200 2537 /proc/meminfo: memFree=25453520/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2044476 memory=20844 CPUtime=6.3 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 3150 0 0 0 629 1 0 0 20 0 1 0 527039651 2093543424 5211 33554432000 4194304 5870510 140726210343952 140726210343048 140340673224583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511119 5211 981 410 0 506592 0 Current children cumulated CPU time: 6.3 s Current children cumulated vsize: 2044476 KiB Current children cumulated memory: 20844 KiB [startup+12.7003 s] /proc/loadavg: 2.03 2.00 1.56 3/199 2538 /proc/meminfo: memFree=25451448/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2050208 memory=25880 CPUtime=12.69 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 6886 0 0 0 1267 2 0 0 20 0 1 0 527039651 2099412992 6470 33554432000 4194304 5870510 140726210343952 140726210343128 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 512552 6470 987 410 0 508025 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2050208 KiB Current children cumulated memory: 25880 KiB [startup+25.5003 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25441340/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2057296 memory=34956 CPUtime=25.49 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 12020 0 0 0 2545 4 0 0 20 0 1 0 527039651 2106671104 8739 33554432000 4194304 5870510 140726210343952 140726210342520 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 514324 8739 987 410 0 509797 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2057296 KiB Current children cumulated memory: 34956 KiB [startup+37.7417 s] # the end of solver process 2534 was just reported to runsolver # cumulated CPU time of all completed processes: user=37.6853 s, system=0.058002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6004 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25441340/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2057296 memory=34956 CPUtime=25.59 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 12066 0 0 0 2555 4 0 0 20 0 1 0 527039651 2106671104 8739 33554432000 4194304 5870510 140726210343952 140726210342520 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 514324 8739 987 410 0 509797 0 Current children cumulated CPU time: 25.59 s Current children cumulated vsize: 2057296 KiB Current children cumulated memory: 34956 KiB [startup+32.0003 s]* /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25449836/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2046256 memory=24476 CPUtime=32 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 12437 0 0 0 3195 5 0 0 20 0 1 0 527039651 2095366144 6119 33554432000 4194304 5870510 140726210343952 140726210342664 5263055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 511564 6119 987 410 0 507037 0 Current children cumulated CPU time: 32 s Current children cumulated vsize: 2046256 KiB Current children cumulated memory: 24476 KiB [startup+35.2003 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25437180/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2055624 memory=32704 CPUtime=35.19 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 15445 0 0 0 3514 5 0 0 20 0 1 0 527039651 2104958976 8176 33554432000 4194304 5870510 140726210343952 140726210342520 5282778 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 513906 8176 987 410 0 509379 0 Current children cumulated CPU time: 35.19 s Current children cumulated vsize: 2055624 KiB Current children cumulated memory: 32704 KiB [startup+36.8003 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25436964/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2057296 memory=33224 CPUtime=36.79 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 15599 0 0 0 3674 5 0 0 20 0 1 0 527039651 2106671104 8306 33554432000 4194304 5870510 140726210343952 140726210342520 5274877 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 514324 8306 987 410 0 509797 0 Current children cumulated CPU time: 36.79 s Current children cumulated vsize: 2057296 KiB Current children cumulated memory: 33224 KiB [startup+37.2003 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25436248/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2057296 memory=34004 CPUtime=37.19 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 15746 0 0 0 3714 5 0 0 20 0 1 0 527039651 2106671104 8501 33554432000 4194304 5870510 140726210343952 140726210342520 5274532 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 514324 8501 987 410 0 509797 0 Current children cumulated CPU time: 37.19 s Current children cumulated vsize: 2057296 KiB Current children cumulated memory: 34004 KiB [startup+37.6003 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25436248/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2057296 memory=34260 CPUtime=37.59 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 15870 0 0 0 3754 5 0 0 20 0 1 0 527039651 2106671104 8565 33554432000 4194304 5870510 140726210343952 140726210342520 140340678462046 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 514324 8565 987 410 0 509797 0 Current children cumulated CPU time: 37.59 s Current children cumulated vsize: 2057296 KiB Current children cumulated memory: 34260 KiB [startup+37.7003 s] /proc/loadavg: 2.02 2.00 1.57 3/199 2538 /proc/meminfo: memFree=25436248/32770688 swapFree=67001348/67108860 [pid=2534] ppid=2531 vsize=2064372 memory=36560 CPUtime=37.69 cores=0-3 /proc/2534/stat : 2534 (xcsp_picat) R 2531 2534 2131 0 -1 4202496 15895 0 0 0 3764 5 0 0 20 0 1 0 527039651 2113916928 9140 33554432000 4194304 5870510 140726210343952 140726210342520 5304205 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25174016 140726210352159 140726210352237 140726210352237 140726210355146 0 /proc/2534/statm: 516093 9140 987 410 0 511566 0 Current children cumulated CPU time: 37.69 s Current children cumulated vsize: 2064372 KiB Current children cumulated memory: 36560 KiB Child status: 0 Real time (s): 37.7418 CPU time (s): 37.7433 CPU user time (s): 37.6853 CPU system time (s): 0.058002 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2064372 Max. memory (cumulated for all children) (KiB): 36560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.6853 system time used= 0.058002 maximum resident set size= 40364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16075 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= 47 # summary of solver processes directly reported to runsolver: # pid: 2534 # total CPU time (s): 37.7433 # total CPU user time (s): 37.6853 # total CPU system time (s): 0.058002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.181765 second user time and 0.321187 second system time The end
Begin job on node116 at 2019-09-26 17:15:39 IDJOB=4407618 IDBENCH=126773 IDSOLVER=2873 FILE ID=node116/4407618-1569510981 RUNJOBID= node116-1569509600-2162 PBS_JOBID= 21705797 Free space on /tmp= 6548 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-30-10-1.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407618-1569510981/watcher-4407618-1569510981 -o /tmp/evaluation-result-4407618-1569510981/solver-4407618-1569510981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569509600-2162 --watchdog 2560 xcsp_picat HOME/instance-4407618-1569510981.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 04263f06d7f4389d01b9d141494c3595 RANDOM SEED=1970271368 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: 25478300 kB MemAvailable: 31756004 kB Buffers: 135784 kB Cached: 6291316 kB SwapCached: 3248 kB Active: 3255856 kB Inactive: 3245508 kB Active(anon): 92952 kB Inactive(anon): 54536 kB Active(file): 3162904 kB Inactive(file): 3190972 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 67001348 kB Dirty: 3220 kB Writeback: 0 kB AnonPages: 144820 kB Mapped: 23880 kB Shmem: 64220 kB Slab: 382768 kB SReclaimable: 352288 kB SUnreclaim: 30480 kB KernelStack: 3552 kB PageTables: 5560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2629912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 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= 6544 MiB End job on node116 at 2019-09-26 17:16:17