0.29/0.33 c root propagations : 0
0.29/0.33 c restarts enabled, print stats at every restarts
0.29/0.33 c
0.29/0.33 c
0.29/0.33 c
0.29/0.33 c This is cosoco 1.0 --
0.29/0.33 c
0.29/0.33 c ========================================[ Problem Statistics ]===========================================
0.29/0.33 c |
0.29/0.33 c | Parse time : 0.33 s
0.29/0.33 c |
0.29/0.33 c | Variables: 42
0.29/0.33 c | Domain Sizes: 401..401
0.29/0.33 c |
0.29/0.33 c | Constraints: 251
0.29/0.33 c | Arity: 2..2 -- Binary: 251
0.29/0.33 c |
0.29/0.33 c | Types:
0.29/0.33 c | Intension: 251
0.29/0.33 c |
0.29/0.33 c =========================================================================================================
0.29/0.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.49/0.55 c 101 102 4573 369763 1 0 1 2 1
0.59/0.62 c 211 226 7772 537343 2 0 1 2 1
0.69/0.71 c 332 361 29652 899382 3 0 1 2 1
0.69/0.78 c 465 506 35110 1026126 4 0 1 3 1
0.89/0.91 c 611 666 40664 1305826 4 0 1 2 1
0.99/1.06 c 771 838 66408 1724414 4 0 1 3 1
1.09/1.13 c 947 1032 72668 1954016 4 0 1 2 1
1.19/1.25 c 1140 1242 80593 2293781 4 0 1 2 1
1.29/1.38 c 1352 1472 88163 2658822 4 0 1 2 1
1.59/1.69 c 1585 1724 130983 3116649 4 0 1 2 1
1.69/1.79 c 1841 2000 139809 3526494 4 0 1 2 1
1.89/1.98 c 2122 2302 151592 4293612 4 0 1 2 1
2.09/2.11 c 2431 2633 161961 4770302 4 0 1 2 1
2.29/2.32 c 2770 2995 177669 5284920 4 0 1 2 1
2.39/2.46 c 3142 3391 189005 5925328 4 0 1 2 1
2.79/2.87 c 3551 3823 217363 8026856 4 0 1 2 1
2.89/2.93 c restarts : 16
2.89/2.93 c conflicts : 3569 (1219 /sec)
2.89/2.93 c decisions : 3841 (1312 /sec)
2.89/2.93 c propagations : 8160808 (2787425 /sec)
2.89/2.93 c root propagations : 0
2.89/2.93 c filter calls : 223448 (76321 /sec)
2.89/2.93 c useless filter calls : 173752 (77 %)
2.89/2.93 c Memory used : 33.62 MB
2.89/2.93 c CPU time : 2.92772 s
2.89/2.93
2.89/2.93 s UNSATISFIABLE
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-4241420-1500631260/watcher-4241420-1500631260 -o /tmp/evaluation-result-4241420-1500631260/solver-4241420-1500631260 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5656 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241420-1500631260.xml
pid=6215
running on 4 cores: 1,3,5,7
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: 2.00 2.01 2.02 3/186 6219
/proc/meminfo: memFree=31117844/32770624 swapFree=6912/388448
[pid=6219] ppid=6215 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 1069 0 0 0 0 0 0 0 20 0 1 0 16549012 27774976 898 33554432000 4194304 5970956 140727776375728 140727776372376 140621686305958 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 6781 898 770 434 0 145 0
[startup+0.100113 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 6219
/proc/meminfo: memFree=31117844/32770624 swapFree=6912/388448
[pid=6219] ppid=6215 vsize=27896 CPUtime=0.09 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 1246 0 0 0 9 0 0 0 20 0 1 0 16549012 28565504 1081 33554432000 4194304 5970956 140727776375728 140727776372328 140621686306065 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 6974 1081 782 434 0 338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27896
[startup+0.200269 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 6219
/proc/meminfo: memFree=31117844/32770624 swapFree=6912/388448
[pid=6219] ppid=6215 vsize=28928 CPUtime=0.19 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 1514 0 0 0 19 0 0 0 20 0 1 0 16549012 29622272 1340 33554432000 4194304 5970956 140727776375728 140727776369320 140621686306022 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 7232 1340 782 434 0 596 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28928
[startup+0.300202 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 6219
/proc/meminfo: memFree=31117844/32770624 swapFree=6912/388448
[pid=6219] ppid=6215 vsize=30212 CPUtime=0.29 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 1847 0 0 0 29 0 0 0 20 0 1 0 16549012 30937088 1661 33554432000 4194304 5970956 140727776375728 140727776369560 140621676960741 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 7553 1661 782 434 0 917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30212
[startup+0.700174 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 6219
/proc/meminfo: memFree=31117844/32770624 swapFree=6912/388448
[pid=6219] ppid=6215 vsize=31516 CPUtime=0.69 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 2213 0 0 0 69 0 0 0 20 0 1 0 16549012 32272384 2053 33554432000 4194304 5970956 140727776375728 140727776372792 5052085 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 7879 2053 822 434 0 1243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31516
[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6243
/proc/meminfo: memFree=31110016/32770624 swapFree=6912/388500
[pid=6219] ppid=6215 vsize=32968 CPUtime=1.49 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 2562 0 0 0 149 0 0 0 20 0 1 0 16549012 33759232 2383 33554432000 4194304 5970956 140727776375728 140727776372792 4964366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 8242 2383 822 434 0 1606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32968
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6219 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60022 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6243
/proc/meminfo: memFree=31110016/32770624 swapFree=6912/388500
[pid=6219] ppid=6215 vsize=33100 CPUtime=1.59 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 2584 0 0 0 159 0 0 0 20 0 1 0 16549012 33894400 2383 33554432000 4194304 5970956 140727776375728 140727776372792 4908963 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 8275 2383 822 434 0 1639 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 33100
[startup+2.40017 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6243
/proc/meminfo: memFree=31109224/32770624 swapFree=6912/388512
[pid=6219] ppid=6215 vsize=33364 CPUtime=2.39 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 3438 0 0 0 239 0 0 0 20 0 1 0 16549012 34164736 2499 33554432000 4194304 5970956 140727776375728 140727776373064 5069728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 8341 2499 822 434 0 1705 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 33364
[startup+2.80017 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6243
/proc/meminfo: memFree=31109224/32770624 swapFree=6912/388512
[pid=6219] ppid=6215 vsize=33628 CPUtime=2.79 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 3530 0 0 0 279 0 0 0 20 0 1 0 16549012 34435072 2532 33554432000 4194304 5970956 140727776375728 140727776372792 5069958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 8407 2532 822 434 0 1771 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 33628
[startup+2.90017 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6243
/proc/meminfo: memFree=31109224/32770624 swapFree=6912/388512
[pid=6219] ppid=6215 vsize=34420 CPUtime=2.89 cores=1,3,5,7
/proc/6219/stat : 6219 (cosoco) R 6215 6219 5624 0 -1 4202496 4009 0 0 0 289 0 0 0 20 0 1 0 16549012 35246080 2747 33554432000 4194304 5970956 140727776375728 140727776372792 4964629 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22364160 140727776380097 140727776380227 140727776380227 140727776382926 0
/proc/6219/statm: 8605 2747 822 434 0 1969 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 34420
Child status: 0
Real time (s): 2.93598
CPU time (s): 2.93472
CPU user time (s): 2.92772
CPU system time (s): 0.006997
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 34420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.92772
system time used= 0.006997
maximum resident set size= 11124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4057
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= 7
involuntary context switches= 151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00864 second user time and 0.020985 second system time
The end
Begin job on node151 at 2017-07-21 12:01:00
IDJOB=4241420
IDBENCH=126846
IDSOLVER=2620
FILE ID=node151/4241420-1500631260
RUNJOBID= node151-1500626434-5656
PBS_JOBID= 20623026
Free space on /tmp= 62024 MiB
SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0020.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241420-1500631260/watcher-4241420-1500631260 -o /tmp/evaluation-result-4241420-1500631260/solver-4241420-1500631260 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5656 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241420-1500631260.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5d39d785165af6ca3b6eb979dd894859
RANDOM SEED=669537493
node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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.83
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 : 2533.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 : 1600.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.83
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 : 1600.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 : 1600.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.83
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 : 1600.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 : 1600.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.83
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 : 1600.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: 31118488 kB
MemAvailable: 31634856 kB
Buffers: 238272 kB
Cached: 557476 kB
SwapCached: 0 kB
Active: 829904 kB
Inactive: 397084 kB
Active(anon): 433876 kB
Inactive(anon): 8636 kB
Active(file): 396028 kB
Inactive(file): 388448 kB
Unevictable: 6912 kB
Mlocked: 6920 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2464 kB
Writeback: 0 kB
AnonPages: 437580 kB
Mapped: 33700 kB
Shmem: 8848 kB
Slab: 121852 kB
SReclaimable: 95456 kB
SUnreclaim: 26396 kB
KernelStack: 3264 kB
PageTables: 5708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 702004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 376832 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 62020 MiB
End job on node151 at 2017-07-21 12:01:03