Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.1 | OPT | 15 | 1.89377 | 1.95231 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml |
MD5SUM | bc2f8d4b91081a5d55245e328f9be905 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1.9211299 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 239 |
Number of constraints | 133 |
Number of domains | 29 |
Minimum domain size | 2 |
Maximum domain size | 29 |
Distribution of domain sizes | [{"size":2,"count":121},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":17,"count":1},{"size":19,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":91},{"degree":2,"count":133},{"degree":14,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":2,"count":15},{"arity":3,"count":106},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 119 |
Distribution of constraint types | [{"type":"intension","count":119},{"type":"sum","count":14}] |
Optimization problem | YES |
Type of objective | min SUM |
0.04/0.19 c best=?? lower=-1015 upper=0 0.04/0.19 c 0.04/0.19 c This is cosoco 1.1 -- 0.04/0.19 c 0.04/0.19 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258554-1501667638.xml 0.04/0.19 c enable optimization 0.04/0.19 c ========================================[ Problem Statistics ]=========================================== 0.04/0.19 c | 0.04/0.19 c | Parse time : 0.13 s 0.04/0.19 c | 0.04/0.19 c | Variables: 239 0.04/0.19 c | Domain Sizes: 2..29 0.04/0.19 c | 0.04/0.19 c | Constraints: 134 0.04/0.19 c | Arity: 2..15 -- Binary: 15 -- Ternary: 106 0.04/0.19 c | 0.04/0.19 c | Types: 0.04/0.19 c | Intension: 119 0.04/0.19 c | Sum: 15 0.04/0.19 c | 0.04/0.19 c ========================================================================================================= 0.04/0.19 o -151 0.04/0.19 c 1 calls to solver: best=-151 lower=-150 upper=0 0.04/0.19 o -107 0.04/0.19 o -91 0.04/0.19 c 3 calls to solver: best=-91 lower=-90 upper=0 0.04/0.19 o -75 0.04/0.19 o -63 0.04/0.19 c 5 calls to solver: best=-63 lower=-62 upper=0 0.14/0.20 o -39 0.14/0.20 o -35 0.14/0.20 c 7 calls to solver: best=-35 lower=-34 upper=0 0.14/0.21 o -31 0.14/0.24 o -15 0.14/0.24 c 9 calls to solver: best=-15 lower=-14 upper=0 1.84/1.95 c 1.84/1.95 c Optimum found : -15 1.84/1.95 c 1.84/1.95 1.84/1.95 v <instantiation type='solution' cost='-15'> 1.84/1.95 v <list>c[0] c[10] c[11] c[12] c[13] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 1.84/1.95 v <values>0 0 -1 0 -1 -1 0 3 0 -1 0 -1 0 -1 0 0 1 0 1 1 0 9 0 1 0 1 0 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 * * * * 1 -1 -1 * * * * * * -1 * * * * 1 -1 * * * * * * * -1 * * * * 1 * * * * * * * * -1 * * * * * * * * * * * * * 1 -1 -1 1 * -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 * * 1 1 1 -1 -1 1 1 -1 -1 -1 -1 * * * -1 1 1 1 1 1 1 1 -1 1 * * * * -1 1 -1 -1 1 1 -1 1 -1 1 * * * * -1 -1 1 -1 1 -1 -1 1 * 1 * * * * 1 1 1 -1 -1 -1 -1 * * -1 * * * * -1 1 1 1 -1 -1 * * * 1 * * * * -1 1 -1 1 -1 * * * * 1 * * * * -1 -1 -1 1 * * * * * </values> 1.84/1.95 v </instantiation> 1.84/1.95 1.84/1.95 c call to solver : 10 1.84/1.95 c 1.84/1.95 c restarts : 28 1.84/1.95 c conflicts : 13311 (7034 /sec) 1.84/1.95 c decisions : 242049 (127902 /sec) 1.84/1.95 c propagations : 2348978 (1241231 /sec) 1.84/1.95 c root propagations : 577 1.84/1.95 c filter calls : 2856956 (1509654 /sec) 1.84/1.95 c useless filter calls : 1508059 (52 %) 1.84/1.95 c Memory used : 27.11 MB 1.84/1.95 c CPU time : 1.89241 s 1.84/1.95 1.84/1.95 s OPTIMUM FOUND
OK 15
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258554-1501667638/watcher-4258554-1501667638 -o /tmp/evaluation-result-4258554-1501667638/solver-4258554-1501667638 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501660490-24869 --watchdog 300 HOME/cosoco -lc -model -restarts HOME/instance-4258554-1501667638.xml pid=29079 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.95 1.99 2.02 2/185 29082 /proc/meminfo: memFree=31707608/32770624 swapFree=0/346812 [pid=29082] ppid=29079 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/29082/stat : 29082 (runsolver) D 29079 29082 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14269539 24240128 108 18446744073709551615 4194304 4338465 140725901475456 140725901473096 140400122356439 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17506304 140725901480094 140725901480518 140725901480518 140725901483978 0 /proc/29082/statm: 5918 108 54 36 0 2156 0 [startup+0.100154 s] /proc/loadavg: 1.95 1.99 2.02 2/185 29082 /proc/meminfo: memFree=31707608/32770624 swapFree=0/346812 [pid=29082] ppid=29079 vsize=27252 CPUtime=0.04 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1103 0 0 0 4 0 0 0 20 0 1 0 14269539 27906048 924 18446744073709551615 4194304 5972556 140725713137664 140725713134312 140614447328229 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6813 924 786 435 0 176 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27252 [startup+0.200264 s] /proc/loadavg: 1.95 1.99 2.02 2/185 29082 /proc/meminfo: memFree=31707608/32770624 swapFree=0/346812 [pid=29082] ppid=29079 vsize=27752 CPUtime=0.14 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1273 0 0 0 14 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713134312 4962336 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 27752 [startup+0.300257 s] /proc/loadavg: 1.95 1.99 2.02 2/185 29082 /proc/meminfo: memFree=31707608/32770624 swapFree=0/346812 [pid=29082] ppid=29079 vsize=27752 CPUtime=0.24 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1275 0 0 0 24 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713124856 4909641 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 27752 [startup+0.700219 s] /proc/loadavg: 1.95 1.99 2.02 2/185 29082 /proc/meminfo: memFree=31707608/32770624 swapFree=0/346812 [pid=29082] ppid=29079 vsize=27752 CPUtime=0.64 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1275 0 0 0 64 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713124856 4969209 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 27752 [startup+1.50021 s] /proc/loadavg: 1.95 1.99 2.02 3/186 29083 /proc/meminfo: memFree=31706292/32770624 swapFree=0/346836 [pid=29082] ppid=29079 vsize=27752 CPUtime=1.44 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1275 0 0 0 144 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713124856 5071813 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 27752 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 29082 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60024 s] /proc/loadavg: 1.95 1.99 2.02 3/186 29083 /proc/meminfo: memFree=31706292/32770624 swapFree=0/346836 [pid=29082] ppid=29079 vsize=27752 CPUtime=1.54 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1275 0 0 0 154 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713124856 5139313 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 1.54 Current children cumulated vsize (KiB) 27752 [startup+1.80022 s] /proc/loadavg: 1.95 1.99 2.02 3/186 29083 /proc/meminfo: memFree=31706292/32770624 swapFree=0/346836 [pid=29082] ppid=29079 vsize=27752 CPUtime=1.74 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1275 0 0 0 174 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713124856 5338125 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 27752 [startup+1.90021 s] /proc/loadavg: 1.95 1.99 2.02 3/186 29083 /proc/meminfo: memFree=31706292/32770624 swapFree=0/346836 [pid=29082] ppid=29079 vsize=27752 CPUtime=1.84 cores=1,3,5,7 /proc/29082/stat : 29082 (cosoco) R 29079 29082 5234 0 -1 4202496 1275 0 0 0 184 0 0 0 20 0 1 0 14269539 28418048 1081 18446744073709551615 4194304 5972556 140725713137664 140725713124856 5039705 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 11874304 140725713146312 140725713146442 140725713146442 140725713149902 0 /proc/29082/statm: 6938 1081 834 435 0 301 0 Current children cumulated CPU time (s) 1.84 Current children cumulated vsize (KiB) 27752 Child status: 0 Real time (s): 1.95231 CPU time (s): 1.89377 CPU user time (s): 1.89276 CPU system time (s): 0.001008 CPU usage (%): 97.0012 Max. virtual memory (cumulated for all children) (KiB): 27752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.89276 system time used= 0.001008 maximum resident set size= 4560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1293 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= 11 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.006893 second user time and 0.010339 second system time The end
Begin job on node134 at 2017-08-02 11:39:57 IDJOB=4258554 IDBENCH=126988 IDSOLVER=2644 FILE ID=node134/4258554-1501667638 RUNJOBID= node134-1501660490-24869 PBS_JOBID= Free space on /tmp= 61896 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-015.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258554-1501667638/watcher-4258554-1501667638 -o /tmp/evaluation-result-4258554-1501667638/solver-4258554-1501667638 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501660490-24869 --watchdog 300 HOME/cosoco -lc -model -restarts HOME/instance-4258554-1501667638.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bc2f8d4b91081a5d55245e328f9be905 RANDOM SEED=1613312969 node134.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.43 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.43 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.43 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.43 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: 31707872 kB MemAvailable: 32012396 kB Buffers: 131724 kB Cached: 450888 kB SwapCached: 0 kB Active: 294100 kB Inactive: 353464 kB Active(anon): 67184 kB Inactive(anon): 6652 kB Active(file): 226916 kB Inactive(file): 346812 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2480 kB Writeback: 0 kB AnonPages: 89340 kB Mapped: 32604 kB Shmem: 8892 kB Slab: 118560 kB SReclaimable: 93264 kB SUnreclaim: 25296 kB KernelStack: 3552 kB PageTables: 4772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 307436 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61896 MiB End job on node134 at 2017-08-02 11:39:59