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-4087342-1465401648/watcher-4087342-1465401648 -o /tmp/evaluation-result-4087342-1465401648/solver-4087342-1465401648 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087342-1465401648.opb ./cdcl-cuttingplanes-opt-binarysearch-release
pid=27761
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 27764
/proc/meminfo: memFree=30400084/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 122099656 57319424 7292 33554432000 4194304 6211289 140735633996240 140735358643528 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 13994 7292 98 493 0 13491 0
[startup+0.100206 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 27764
/proc/meminfo: memFree=30400084/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=66648 CPUtime=0.09 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 1191 0 0 0 9 0 0 0 20 0 1 0 122099656 68247552 14786 33554432000 4194304 6211289 140735633996240 140735358643528 4241704 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 16662 14786 204 493 0 16159 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66648
[startup+0.20036 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 27764
/proc/meminfo: memFree=30400084/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=74364 CPUtime=0.19 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 2502 0 0 0 18 1 0 0 20 0 1 0 122099656 76148736 16385 33554432000 4194304 6211289 140735633996240 140735633994232 4216072 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 18591 16387 204 493 0 18088 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74364
[startup+0.300327 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 27764
/proc/meminfo: memFree=30400084/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=87976 CPUtime=0.29 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 3679 0 0 0 28 1 0 0 20 0 1 0 122099656 90087424 17848 33554432000 4194304 6211289 140735633996240 140735633994232 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 21994 17848 204 493 0 21491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87976
[startup+0.700271 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 27764
/proc/meminfo: memFree=30400084/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=102324 CPUtime=0.69 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 4732 0 0 0 68 1 0 0 20 0 1 0 122099656 104779776 19808 33554432000 4194304 6211289 140735633996240 140735633994232 4205577 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 25581 19808 204 493 0 25078 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102324
[startup+1.50022 s]
/proc/loadavg: 2.10 2.06 2.00 3/176 27765
/proc/meminfo: memFree=30305060/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=131236 CPUtime=1.49 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 7317 0 0 0 147 2 0 0 20 0 1 0 122099656 134385664 24588 33554432000 4194304 6211289 140735633996240 140735633994232 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 32809 24588 214 493 0 32306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131236
[startup+3.10027 s]
/proc/loadavg: 2.10 2.06 2.00 4/176 27765
/proc/meminfo: memFree=30297056/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=132744 CPUtime=3.09 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 7693 0 0 0 307 2 0 0 20 0 1 0 122099656 135929856 26497 33554432000 4194304 6211289 140735633996240 140735633994232 5161579 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 33186 26497 214 493 0 32683 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132744
[startup+6.30027 s]
/proc/loadavg: 2.09 2.06 2.00 3/176 27765
/proc/meminfo: memFree=30286644/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=153284 CPUtime=6.29 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 9610 0 0 0 627 2 0 0 20 0 1 0 122099656 156962816 28452 33554432000 4194304 6211289 140735633996240 140735633994232 4209495 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 38321 28452 214 493 0 37818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 153284
[startup+12.7002 s]
/proc/loadavg: 2.08 2.05 2.00 3/176 27765
/proc/meminfo: memFree=30285944/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=153284 CPUtime=12.68 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 9851 0 0 0 1266 2 0 0 20 0 1 0 122099656 156962816 28632 33554432000 4194304 6211289 140735633996240 140735633994232 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 38321 28632 219 493 0 37818 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 153284
[startup+25.5004 s]
/proc/loadavg: 2.14 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30279352/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=155108 CPUtime=25.49 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 10345 0 0 0 2546 3 0 0 20 0 1 0 122099656 158830592 29637 33554432000 4194304 6211289 140735633996240 140735633994152 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 38777 29637 219 493 0 38274 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 155108
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27764 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.14 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30279352/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=155108 CPUtime=25.59 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 10354 0 0 0 2556 3 0 0 20 0 1 0 122099656 158830592 29646 33554432000 4194304 6211289 140735633996240 140735633994152 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 38777 29646 219 493 0 38274 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 155108
[startup+28.8003 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30272340/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=155828 CPUtime=28.79 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 10525 0 0 0 2876 3 0 0 20 0 1 0 122099656 159567872 30839 33554432000 4194304 6211289 140735633996240 140735633994152 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 38957 30839 219 493 0 38454 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 155828
[startup+30.4002 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30271844/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=156916 CPUtime=30.39 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 10931 0 0 0 3036 3 0 0 20 0 1 0 122099656 160681984 31723 33554432000 4194304 6211289 140735633996240 140735633994520 4241570 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 39229 31723 219 493 0 38726 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 156916
[startup+31.2002 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30268928/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=157340 CPUtime=31.19 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 11027 0 0 0 3116 3 0 0 20 0 1 0 122099656 161116160 32330 33554432000 4194304 6211289 140735633996240 140735633994152 4202031 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 39335 32330 219 493 0 38832 0
Current children cumulated CPU time (s) 31.19
Current children cumulated vsize (KiB) 157340
[startup+31.4002 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30268928/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=157476 CPUtime=31.39 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 11065 0 0 0 3136 3 0 0 20 0 1 0 122099656 161255424 32368 33554432000 4194304 6211289 140735633996240 140735633994152 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 39369 32368 219 493 0 38866 0
Current children cumulated CPU time (s) 31.39
Current children cumulated vsize (KiB) 157476
[startup+31.5002 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 27788
/proc/meminfo: memFree=30268928/32872528 swapFree=13256/481332
[pid=27764] ppid=27761 vsize=191556 CPUtime=31.48 cores=0,2,4,6
/proc/27764/stat : 27764 (cdcl-cuttingpla) R 27761 27764 25292 0 -1 4202496 11866 0 0 0 3145 3 0 0 20 0 1 0 122099656 196153344 36224 33554432000 4194304 6211289 140735633996240 140735633994152 4216604 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27764/statm: 47889 36228 219 493 0 47386 0
Current children cumulated CPU time (s) 31.48
Current children cumulated vsize (KiB) 191556
Child status: 30
Real time (s): 31.5181
CPU time (s): 31.5122
CPU user time (s): 31.4642
CPU system time (s): 0.047992
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 191556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.4642
system time used= 0.047992
maximum resident set size= 149884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12092
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= 3
involuntary context switches= 33
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13098 second user time and 0.118981 second system time
The end
Begin job on node104 at 2016-06-08 18:00:48
IDJOB=4087342
IDBENCH=2045
IDSOLVER=2549
FILE ID=node104/4087342-1465401648
RUNJOBID= node104-1465387127-25308
PBS_JOBID= 19853856
Free space on /tmp= 71736 MiB
SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087342-1465401648/watcher-4087342-1465401648 -o /tmp/evaluation-result-4087342-1465401648/solver-4087342-1465401648 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087342-1465401648.opb ./cdcl-cuttingplanes-opt-binarysearch-release
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5
RANDOM SEED=747795293
node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.775
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.55
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
cpu MHz : 2666.775
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 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 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 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
cpu MHz : 2666.775
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 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 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 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 : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.775
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 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 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 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
cpu MHz : 2666.775
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 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 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 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
cpu MHz : 2666.775
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 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 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 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
cpu MHz : 2666.775
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 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 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 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
cpu MHz : 2666.775
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 30400348 kB
Buffers: 126824 kB
Cached: 525444 kB
SwapCached: 1724 kB
Active: 788680 kB
Inactive: 457780 kB
Active(anon): 593144 kB
Inactive(anon): 3024 kB
Active(file): 195536 kB
Inactive(file): 454756 kB
Unevictable: 481332 kB
Mlocked: 13256 kB
SwapTotal: 67108856 kB
SwapFree: 67097284 kB
Dirty: 2396 kB
Writeback: 0 kB
AnonPages: 1084420 kB
Mapped: 8028 kB
Shmem: 0 kB
Slab: 603904 kB
SReclaimable: 47860 kB
SUnreclaim: 556044 kB
KernelStack: 1440 kB
PageTables: 5824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1358568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341988032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 851968 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71732 MiB
End job on node104 at 2016-06-08 18:01:20