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-4113740-1466536572/watcher-4113740-1466536572 -o /tmp/evaluation-result-4113740-1466536572/solver-4113740-1466536572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466514771-19972 --watchdog 1960 minisatp HOME/instance-4113740-1466536572.opb
pid=24205
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.26 2.23 2.19 3/174 24208
/proc/meminfo: memFree=30394116/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=6492 CPUtime=0 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 55704152 6647808 212 33554432000 4194304 5646918 140733440151328 140736049721832 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 1623 212 94 355 0 1264 0
[startup+0.100207 s]
/proc/loadavg: 2.26 2.23 2.19 3/174 24208
/proc/meminfo: memFree=30394116/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=10516 CPUtime=0.09 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 1405 0 0 0 9 0 0 0 20 0 1 0 55704152 10768384 1282 33554432000 4194304 5646918 140733440151328 140736049721832 4831344 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 2629 1282 124 355 0 2270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10516
[startup+0.200249 s]
/proc/loadavg: 2.26 2.23 2.19 3/174 24208
/proc/meminfo: memFree=30394116/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=11768 CPUtime=0.19 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 3101 0 0 0 19 0 0 0 20 0 1 0 55704152 12050432 2519 33554432000 4194304 5646918 140733440151328 140733440150088 4832119 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 2942 2519 144 355 0 2583 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11768
[startup+0.300256 s]
/proc/loadavg: 2.26 2.23 2.19 3/174 24208
/proc/meminfo: memFree=30394116/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=15748 CPUtime=0.29 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 4054 0 0 0 29 0 0 0 20 0 1 0 55704152 16125952 3449 33554432000 4194304 5646918 140733440151328 140733440150088 4389007 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 3937 3449 154 355 0 3578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15748
[startup+0.700256 s]
/proc/loadavg: 2.26 2.23 2.19 3/174 24208
/proc/meminfo: memFree=30394116/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=21540 CPUtime=0.69 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 5458 0 0 0 69 0 0 0 20 0 1 0 55704152 22056960 4836 33554432000 4194304 5646918 140733440151328 140733440150088 4443294 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 5385 4836 155 355 0 5026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21540
[startup+1.50028 s]
/proc/loadavg: 2.26 2.23 2.19 4/175 24209
/proc/meminfo: memFree=30370764/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=26584 CPUtime=1.49 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 6278 0 0 0 148 1 0 0 20 0 1 0 55704152 27222016 5649 33554432000 4194304 5646918 140733440151328 140733440149576 4399377 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 6646 5649 156 355 0 6287 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26584
[startup+3.10024 s]
/proc/loadavg: 2.26 2.23 2.19 4/175 24209
/proc/meminfo: memFree=30364748/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=30248 CPUtime=3.09 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 7621 0 0 0 308 1 0 0 20 0 1 0 55704152 30973952 6990 33554432000 4194304 5646918 140733440151328 140733440144792 4399431 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 7562 6990 157 355 0 7203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30248
[startup+6.30021 s]
/proc/loadavg: 2.31 2.24 2.19 3/175 24209
/proc/meminfo: memFree=30340988/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=39364 CPUtime=6.29 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 8280 0 0 0 628 1 0 0 20 0 1 0 55704152 40308736 9181 33554432000 4194304 5646918 140733440151328 140733440149592 4397445 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 9841 9181 158 355 0 9482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39364
[startup+12.7003 s]
/proc/loadavg: 2.29 2.24 2.19 3/175 24209
/proc/meminfo: memFree=30469484/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=39364 CPUtime=12.69 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 8647 0 0 0 1268 1 0 0 20 0 1 0 55704152 40308736 9181 33554432000 4194304 5646918 140733440151328 140733440149624 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 9841 9181 158 355 0 9482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39364
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24208 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.29 2.24 2.19 3/175 24209
/proc/meminfo: memFree=30469484/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=39364 CPUtime=12.79 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 8647 0 0 0 1278 1 0 0 20 0 1 0 55704152 40308736 9181 33554432000 4194304 5646918 140733440151328 140733440149624 4399923 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 9841 9181 158 355 0 9482 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 39364
[startup+16.0002 s]
/proc/loadavg: 2.27 2.23 2.19 4/175 24209
/proc/meminfo: memFree=30448324/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=46504 CPUtime=15.99 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 9146 0 0 0 1598 1 0 0 20 0 1 0 55704152 47620096 10191 33554432000 4194304 5646918 140733440151328 140733440149576 4403376 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 11626 10191 158 355 0 11267 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 46504
[startup+19.2003 s]
/proc/loadavg: 2.27 2.23 2.19 4/175 24209
/proc/meminfo: memFree=30429832/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=46504 CPUtime=19.19 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 9146 0 0 0 1918 1 0 0 20 0 1 0 55704152 47620096 10191 33554432000 4194304 5646918 140733440151328 140733440149576 4399275 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 11626 10191 158 355 0 11267 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 46504
[startup+20.0002 s]
/proc/loadavg: 2.27 2.23 2.19 3/175 24209
/proc/meminfo: memFree=30425612/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=46504 CPUtime=19.98 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 9146 0 0 0 1997 1 0 0 20 0 1 0 55704152 47620096 10191 33554432000 4194304 5646918 140733440151328 140733440149576 4403989 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 11626 10191 158 355 0 11267 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (KiB) 46504
[startup+20.4003 s]
/proc/loadavg: 2.27 2.23 2.19 3/175 24209
/proc/meminfo: memFree=30425612/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=46504 CPUtime=20.38 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 9146 0 0 0 2037 1 0 0 20 0 1 0 55704152 47620096 10191 33554432000 4194304 5646918 140733440151328 140733440149576 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 11626 10191 158 355 0 11267 0
Current children cumulated CPU time (s) 20.38
Current children cumulated vsize (KiB) 46504
[startup+20.8002 s]
/proc/loadavg: 2.27 2.23 2.19 3/175 24209
/proc/meminfo: memFree=30425612/32872528 swapFree=1316768/1463936
[pid=24208] ppid=24205 vsize=46504 CPUtime=20.78 cores=0,2,4,6
/proc/24208/stat : 24208 (minisatp) R 24205 24208 19956 0 -1 4202496 9147 0 0 0 2077 1 0 0 20 0 1 0 55704152 47620096 10703 33554432000 4194304 5646918 140733440151328 140733440149576 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24208/statm: 11626 10703 158 355 0 11267 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 46504
Child status: 0
Real time (s): 20.8279
CPU time (s): 20.8248
CPU user time (s): 20.8048
CPU system time (s): 0.019996
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 50860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8048
system time used= 0.019996
maximum resident set size= 44324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9156
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= 1
involuntary context switches= 22
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076988 second user time and 0.089986 second system time
The end
Begin job on node121 at 2016-06-21 21:16:12
IDJOB=4113740
IDBENCH=2084
IDSOLVER=2555
FILE ID=node121/4113740-1466536572
RUNJOBID= node121-1466514771-19972
PBS_JOBID= 19942880
Free space on /tmp= 71716 MiB
SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113740-1466536572/watcher-4113740-1466536572 -o /tmp/evaluation-result-4113740-1466536572/solver-4113740-1466536572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466514771-19972 --watchdog 1960 minisatp HOME/instance-4113740-1466536572.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c4cc2d9119cd599cce3a69b5023baf39
RANDOM SEED=1638581655
node121.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.691
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.38
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.691
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.691
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.691
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.691
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.54
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.691
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.691
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.56
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.691
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.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 30394816 kB
Buffers: 15960 kB
Cached: 54912 kB
SwapCached: 1700 kB
Active: 266384 kB
Inactive: 44688 kB
Active(anon): 242096 kB
Inactive(anon): 740 kB
Active(file): 24288 kB
Inactive(file): 43948 kB
Unevictable: 1463936 kB
Mlocked: 1316768 kB
SwapTotal: 67108856 kB
SwapFree: 67099508 kB
Dirty: 3556 kB
Writeback: 16 kB
AnonPages: 1705872 kB
Mapped: 7912 kB
Shmem: 0 kB
Slab: 565056 kB
SReclaimable: 9432 kB
SUnreclaim: 555624 kB
KernelStack: 1440 kB
PageTables: 7824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1886596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341988032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113740-1466536572.opb
Free space on /tmp at the end= 71712 MiB
End job on node121 at 2016-06-21 21:16:33