Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Naxos 1.1.0 | SAT | 1.29221 | 1.29292 |
Name | Driver/ Driver-m1-s1/driverlogw-04c.xml |
MD5SUM | 4bc1459377379f6150b2de38fe5214e8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.095844999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 272 |
Number of constraints | 3876 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":2,"count":91},{"size":3,"count":42},{"size":4,"count":54},{"size":5,"count":52},{"size":6,"count":12},{"size":7,"count":5},{"size":8,"count":13},{"size":9,"count":1},{"size":11,"count":2}] |
Minimum variable degree | 1 |
Maximum variable degree | 75 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":3,"count":5},{"degree":4,"count":2},{"degree":5,"count":3},{"degree":6,"count":6},{"degree":7,"count":8},{"degree":9,"count":6},{"degree":10,"count":6},{"degree":11,"count":7},{"degree":12,"count":10},{"degree":13,"count":10},{"degree":14,"count":8},{"degree":15,"count":4},{"degree":17,"count":6},{"degree":18,"count":4},{"degree":19,"count":9},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":10},{"degree":23,"count":4},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":27,"count":7},{"degree":28,"count":3},{"degree":29,"count":3},"...",{"degree":40,"count":1}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":1}, {"degree":44,"count":3}, {"degree":45,"count":2}, {"degree":46,"count":6}, {"degree":47,"count":5}, {"degree":48,"count":4}, {"degree":49,"count":3}, {"degree":50,"count":4}, {"degree":51,"count":4}, {"degree":52,"count":2}, {"degree":53,"count":3}, {"degree":54,"count":1}, {"degree":55,"count":3}, {"degree":56,"count":1}, {"degree":58,"count":1}, {"degree":60,"count":3}, {"degree":61,"count":2}, {"degree":65,"count":1}, {"degree":67,"count":1}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":75,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3876}] |
Number of extensional constraints | 3876 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3876}] |
Optimization problem | NO |
Type of objective |
1.20/1.29 s SATISFIABLE 1.20/1.29 v <instantiation> 1.20/1.29 v <list> x8 x0[0] x0[1] x0[2] x0[3] x0[4] x0[5] x0[6] x0[7] x0[8] x0[9] x0[10] x0[11] x0[12] x0[13] x0[14] x0[15] x0[16] x0[17] x0[18] x0[19] x0[20] x0[21] x0[22] x0[23] x0[24] x0[25] x0[26] x0[27] x0[28] x0[29] x0[30] x0[31] x0[32] x0[33] x0[34] x0[35] x0[36] x0[37] x0[38] x0[39] x0[40] x0[41] x1[0] x1[1] x1[2] x1[3] x1[4] x2[0] x2[1] x2[2] x2[3] x2[4] x2[5] x2[6] x2[7] x2[8] x2[9] x2[10] x2[11] x2[12] x2[13] x2[14] x2[15] x2[16] x2[17] x2[18] x2[19] x2[20] x2[21] x2[22] x2[23] x2[24] x2[25] x2[26] x2[27] x2[28] x2[29] x2[30] x2[31] x2[32] x2[33] x2[34] x2[35] x2[36] x2[37] x2[38] x2[39] x2[40] x2[41] x2[42] x2[43] x2[44] x2[45] x2[46] x2[47] x2[48] x2[49] x2[50] x2[51] x3[0] x3[1] x3[2] x3[3] x3[4] x3[5] x3[6] x3[7] x3[8] x3[9] x3[10] x3[11] x3[12] x3[13] x3[14] x3[15] x3[16] x3[17] x3[18] x3[19] x3[20] x3[21] x3[22] x3[23] x3[24] x3[25] x3[26] x3[27] x3[28] x3[29] x3[30] x3[31] x3[32] x3[33] x3[34] x3[35] x3[36] x3[37] x3[38] x3[39] x3[40] x3[41] x3[42] x3[43] x3[44] x3[45] x3[46] x3[47] x3[48] x3[49] x3[50] x3[51] x3[52] x3[53] x4[0] x4[1] x4[2] x4[3] x4[4] x4[5] x4[6] x4[7] x4[8] x4[9] x4[10] x4[11] x4[12] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x5[6] x5[7] x5[8] x5[9] x5[10] x5[11] x6[0] x6[1] x7[0] x7[1] x7[2] x7[3] x7[4] x7[5] x7[6] x7[7] x7[8] x7[9] x7[10] x7[11] x7[12] x7[13] x7[14] x7[15] x7[16] x7[17] x7[18] x7[19] x7[20] x7[21] x7[22] x7[23] x7[24] x7[25] x7[26] x7[27] x7[28] x7[29] x7[30] x7[31] x7[32] x7[33] x7[34] x7[35] x7[36] x7[37] x7[38] x7[39] x7[40] x7[41] x7[42] x7[43] x7[44] x7[45] x7[46] x7[47] x7[48] x7[49] x7[50] x7[51] x7[52] x7[53] x7[54] x7[55] x7[56] x7[57] x7[58] x7[59] x7[60] x7[61] x7[62] x7[63] x7[64] x7[65] x7[66] x7[67] x7[68] x7[69] x7[70] x7[71] x7[72] x7[73] x7[74] x7[75] x7[76] x7[77] x7[78] x7[79] x7[80] x7[81] x7[82] x7[83] x7[84] x7[85] x7[86] x7[87] x7[88] x7[89] x7[90] </list> 1.20/1.29 v <values> 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 5 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 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 1 0 1 3 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 1 0 0 0 5 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 </values> 1.20/1.29 v </instantiation>
OK
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-4252664-1500926915/watcher-4252664-1500926915 -o /tmp/evaluation-result-4252664-1500926915/solver-4252664-1500926915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252664-1500926915.xml pid=6915 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.91 1.99 2.03 3/181 6918 /proc/meminfo: memFree=32105564/32770624 swapFree=5780/125568 [pid=6918] ppid=6915 vsize=24996 CPUtime=0 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 1080 0 0 0 0 0 0 0 20 0 1 0 2244302 25595904 910 33554432000 4194304 6986860 140720458910256 140720458906952 140110473518053 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 6249 910 711 682 0 252 0 [startup+0.100109 s] /proc/loadavg: 1.91 1.99 2.03 3/181 6918 /proc/meminfo: memFree=32105564/32770624 swapFree=5780/125568 [pid=6918] ppid=6915 vsize=32116 CPUtime=0.09 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 2869 0 0 0 9 0 0 0 20 0 1 0 2244302 32886784 2709 33554432000 4194304 6986860 140720458910256 140720458906952 140110473781628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 8029 2709 730 682 0 2032 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32116 [startup+0.200278 s] /proc/loadavg: 1.91 1.99 2.03 3/181 6918 /proc/meminfo: memFree=32105564/32770624 swapFree=5780/125568 [pid=6918] ppid=6915 vsize=32116 CPUtime=0.19 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 2873 0 0 0 19 0 0 0 20 0 1 0 2244302 32886784 2709 33554432000 4194304 6986860 140720458910256 140720458906952 140110473781628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 8029 2709 730 682 0 2032 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32116 [startup+0.300207 s] /proc/loadavg: 1.91 1.99 2.03 3/181 6918 /proc/meminfo: memFree=32105564/32770624 swapFree=5780/125568 [pid=6918] ppid=6915 vsize=32116 CPUtime=0.29 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 2873 0 0 0 29 0 0 0 20 0 1 0 2244302 32886784 2709 33554432000 4194304 6986860 140720458910256 140720458906952 5366768 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 8029 2709 730 682 0 2032 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32116 [startup+0.700173 s] /proc/loadavg: 1.91 1.99 2.03 3/181 6918 /proc/meminfo: memFree=32105564/32770624 swapFree=5780/125568 [pid=6918] ppid=6915 vsize=32116 CPUtime=0.69 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 2873 0 0 0 69 0 0 0 20 0 1 0 2244302 32886784 2709 33554432000 4194304 6986860 140720458910256 140720458905608 5433568 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 8029 2709 730 682 0 2032 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32116 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6918 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800222 s] /proc/loadavg: 1.91 1.99 2.03 3/181 6918 /proc/meminfo: memFree=32105564/32770624 swapFree=5780/125568 [pid=6918] ppid=6915 vsize=32116 CPUtime=0.79 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 2873 0 0 0 79 0 0 0 20 0 1 0 2244302 32886784 2709 33554432000 4194304 6986860 140720458910256 140720458905608 5434086 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 8029 2709 730 682 0 2032 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 32116 [startup+1.2058 s] /proc/loadavg: 1.91 1.99 2.03 3/182 6919 /proc/meminfo: memFree=32098408/32770624 swapFree=5780/125736 [pid=6918] ppid=6915 vsize=32116 CPUtime=1.2 cores=0,2,4,6 /proc/6918/stat : 6918 (naxos-xcsp3) R 6915 6918 3347 0 -1 4202496 2873 0 0 0 119 1 0 0 20 0 1 0 2244302 32886784 2709 33554432000 4194304 6986860 140720458910256 140720458905608 140110473781628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 27787264 140720458917134 140720458917215 140720458917215 140720458919914 0 /proc/6918/statm: 8029 2709 730 682 0 2032 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 32116 Child status: 0 Real time (s): 1.29292 CPU time (s): 1.29221 CPU user time (s): 1.27921 CPU system time (s): 0.012999 CPU usage (%): 99.9453 Max. virtual memory (cumulated for all children) (KiB): 32116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.27921 system time used= 0.012999 maximum resident set size= 10916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2882 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= 5 involuntary context switches= 3 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.003091 second user time and 0.012406 second system time The end
Begin job on node117 at 2017-07-24 22:08:35 IDJOB=4252664 IDBENCH=126979 IDSOLVER=2634 FILE ID=node117/4252664-1500926915 RUNJOBID= node117-1500914921-3378 PBS_JOBID= 20625410 Free space on /tmp= 61884 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/Driver/Driver-m1-s1/driverlogw-04c.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252664-1500926915/watcher-4252664-1500926915 -o /tmp/evaluation-result-4252664-1500926915/solver-4252664-1500926915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252664-1500926915.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4bc1459377379f6150b2de38fe5214e8 RANDOM SEED=47766131 node117.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.58 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.58 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.58 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.58 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: 32106248 kB MemAvailable: 32054032 kB Buffers: 35952 kB Cached: 226624 kB SwapCached: 0 kB Active: 180664 kB Inactive: 134212 kB Active(anon): 55196 kB Inactive(anon): 8644 kB Active(file): 125468 kB Inactive(file): 125568 kB Unevictable: 5780 kB Mlocked: 5780 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3364 kB Writeback: 4 kB AnonPages: 60164 kB Mapped: 30188 kB Shmem: 8844 kB Slab: 50564 kB SReclaimable: 25164 kB SUnreclaim: 25400 kB KernelStack: 3488 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 289620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61880 MiB End job on node117 at 2017-07-24 22:08:37