0.00/0.00 c root propagations : 54
0.00/0.00 c restarts enabled, print stats at every restarts
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c This is cosoco 1.12 --
0.00/0.00 c
0.00/0.00 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299322-1532799007.xml
0.00/0.00 c ========================================[ Problem Statistics ]===========================================
0.00/0.00 c |
0.00/0.00 c | Parse time : 0.00 s
0.00/0.00 c |
0.00/0.00 c | Variables: 24
0.00/0.00 c | Domain Sizes: 6..12
0.00/0.00 c |
0.00/0.00 c | Constraints: 18
0.00/0.00 c | Arity: 2..13 -- Binary: 6
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | Element Constant: 12
0.00/0.00 c | Intension: 6
0.00/0.00 c |
0.00/0.00 c =========================================================================================================
0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.01 c 101 163 5179 2592 12 0 7 13 9
0.00/0.01 c 211 318 9449 4889 12 0 5 7 6
0.00/0.01 c 332 497 15621 8164 12 0 5 8 6
0.00/0.01 c 465 685 22101 11770 12 0 4 9 6
0.00/0.01 c 611 885 28851 15452 12 0 5 7 6
0.00/0.01 c 771 1093 37482 20385 12 0 4 8 5
0.00/0.02 c 947 1391 48799 26733 12 0 4 9 6
0.00/0.02 c 1140 1660 58461 32103 12 0 5 8 5
0.00/0.02 c 1352 1951 68143 37541 12 0 4 8 6
0.00/0.02 c 1585 2260 77063 42065 12 0 5 8 6
0.00/0.03 c 1841 2625 88594 48486 12 0 5 9 6
0.00/0.03 c 2122 3026 101035 55314 12 0 5 9 6
0.00/0.03 c 2431 3453 115563 62801 12 0 4 8 6
0.00/0.03 c 2770 3924 128728 71145 12 0 5 8 6
0.00/0.04 c 3142 4435 143449 78899 12 0 4 9 6
0.00/0.04 c 3551 4996 160509 87926 12 0 4 9 6
0.00/0.04 c 4000 5627 179600 97719 12 0 4 9 6
0.00/0.05 c 4493 6347 202143 110016 12 0 5 9 6
0.00/0.05 c 5035 7112 230586 125007 12 0 4 10 6
0.00/0.06 c 5631 7985 261250 142062 12 0 4 10 6
0.00/0.07 c 6286 8849 287447 156397 12 0 5 8 6
0.00/0.08 c 7006 9919 319417 174639 12 0 4 9 6
0.00/0.08 c 7798 11094 359535 196922 12 0 3 10 6
0.00/0.09 c 8669 12330 399202 218126 12 0 4 9 6
0.00/0.10 c 9627 13680 440182 238654 12 0 5 10 6
0.10/0.11 c 10680 15302 486957 262651 12 0 4 10 6
0.10/0.12 c 11838 17201 546457 294985 12 0 4 10 6
0.10/0.14 c 13111 19135 608025 326294 12 0 3 10 7
0.10/0.15 c 14511 21128 670085 358927 12 0 4 9 6
0.10/0.17 c 16051 23375 750114 401824 12 0 3 9 6
0.10/0.18 c 17745 25772 823689 441279 12 0 4 10 6
0.10/0.20 c 19608 28329 908122 486882 12 0 4 10 6
0.21/0.22 c 21657 31436 1016454 545163 12 0 3 11 6
0.21/0.24 c 23910 34628 1104738 596329 12 0 4 7 6
0.21/0.27 c 26388 38253 1232869 665269 12 0 3 10 6
0.21/0.29 c 29113 42617 1372121 740251 12 0 4 9 6
0.31/0.33 c 32110 47031 1523577 821342 12 0 4 10 6
0.31/0.36 c 35406 52242 1701766 914345 12 0 3 10 6
0.31/0.40 c 39031 57218 1865225 1005126 12 0 4 11 6
0.41/0.43 c 43018 63127 2047120 1102179 12 0 3 10 6
0.41/0.48 c 47403 70220 2284438 1220001 13 0 3 10 6
0.51/0.53 c 52226 78286 2539665 1348311 14 0 3 10 6
0.51/0.58 c 57531 86654 2794005 1479517 14 0 4 12 7
0.60/0.63 c 63366 95592 3047731 1606185 14 0 4 9 6
0.60/0.68 c 69784 105150 3345256 1765241 14 0 3 10 6
0.69/0.74 c 76843 115803 3643044 1913104 15 0 3 9 6
0.79/0.82 c 84607 127958 4033995 2116517 15 0 3 10 6
0.89/0.90 c 93147 141021 4449696 2331074 16 0 2 9 6
0.89/1.00 c 102541 155991 4940674 2587247 18 0 3 10 6
1.00/1.04 c restarts : 49
1.00/1.04 c conflicts : 106617 (102553 /sec)
1.00/1.04 c decisions : 163332 (157106 /sec)
1.00/1.04 c propagations : 2700440 (2597499 /sec)
1.00/1.04 c root propagations : 54
1.00/1.04 c filter calls : 5153781 (4957318 /sec)
1.00/1.04 c useless filter calls : 3561828 (69 %)
1.00/1.04 c Memory used : 26.65 MB
1.00/1.04 c CPU time : 1.03963 s
1.00/1.04
1.00/1.04 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8462 MiB free)
memory of node 1: 16384 MiB (11531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299322-1532799007/watcher-4299322-1532799007 -o /tmp/evaluation-result-4299322-1532799007/solver-4299322-1532799007 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299322-1532799007.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14125, runsolver pid=14122
[startup+0.100197 s]*
/proc/loadavg: 2.06 2.10 2.08 3/188 14126
/proc/meminfo: memFree=20472824/32770624 swapFree=67108860/67108860
[pid=14125] ppid=14122 vsize=27288 memory=3668 CPUtime=0.1 cores=0,2,4,6
/proc/14125/stat : 14125 (cosoco) R 14122 14125 11466 0 -1 4202496 1113 0 0 0 10 0 0 0 20 0 1 0 97463852 27942912 917 33554432000 4194304 6142532 140730061663760 140730061660392 5371860 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11436032 140730061669510 140730061669640 140730061669640 140730061672398 0
/proc/14125/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB
[startup+0.209549 s]*
/proc/loadavg: 2.06 2.10 2.08 3/188 14126
/proc/meminfo: memFree=20472608/32770624 swapFree=67108860/67108860
[pid=14125] ppid=14122 vsize=27288 memory=3668 CPUtime=0.21 cores=0,2,4,6
/proc/14125/stat : 14125 (cosoco) R 14122 14125 11466 0 -1 4202496 1113 0 0 0 21 0 0 0 20 0 1 0 97463852 27942912 917 33554432000 4194304 6142532 140730061663760 140730061661160 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11436032 140730061669510 140730061669640 140730061669640 140730061672398 0
/proc/14125/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB
[startup+0.308951 s]*
/proc/loadavg: 2.06 2.10 2.08 3/188 14126
/proc/meminfo: memFree=20472376/32770624 swapFree=67108860/67108860
[pid=14125] ppid=14122 vsize=27288 memory=3668 CPUtime=0.31 cores=0,2,4,6
/proc/14125/stat : 14125 (cosoco) R 14122 14125 11466 0 -1 4202496 1113 0 0 0 31 0 0 0 20 0 1 0 97463852 27942912 917 33554432000 4194304 6142532 140730061663760 140730061661160 5336741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11436032 140730061669510 140730061669640 140730061669640 140730061672398 0
/proc/14125/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB
[startup+0.700339 s]
/proc/loadavg: 2.06 2.10 2.08 3/188 14126
/proc/meminfo: memFree=20472376/32770624 swapFree=67108860/67108860
[pid=14125] ppid=14122 vsize=27288 memory=3668 CPUtime=0.69 cores=0,2,4,6
/proc/14125/stat : 14125 (cosoco) R 14122 14125 11466 0 -1 4202496 1113 0 0 0 69 0 0 0 20 0 1 0 97463852 27942912 917 33554432000 4194304 6142532 140730061663760 140730061661160 5371770 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11436032 140730061669510 140730061669640 140730061669640 140730061672398 0
/proc/14125/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB
[startup+1.04611 s]
# the end of solver process 14125 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.03993 s, system=0.004094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80035 s]
/proc/loadavg: 2.06 2.10 2.08 3/188 14126
/proc/meminfo: memFree=20472376/32770624 swapFree=67108860/67108860
[pid=14125] ppid=14122 vsize=27288 memory=3668 CPUtime=0.79 cores=0,2,4,6
/proc/14125/stat : 14125 (cosoco) R 14122 14125 11466 0 -1 4202496 1113 0 0 0 79 0 0 0 20 0 1 0 97463852 27942912 917 33554432000 4194304 6142532 140730061663760 140730061661160 140664014336913 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11436032 140730061669510 140730061669640 140730061669640 140730061672398 0
/proc/14125/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB
[startup+1.00031 s]*
/proc/loadavg: 2.06 2.10 2.08 3/188 14126
/proc/meminfo: memFree=20472376/32770624 swapFree=67108860/67108860
[pid=14125] ppid=14122 vsize=27288 memory=3668 CPUtime=1 cores=0,2,4,6
/proc/14125/stat : 14125 (cosoco) R 14122 14125 11466 0 -1 4202496 1113 0 0 0 100 0 0 0 20 0 1 0 97463852 27942912 917 33554432000 4194304 6142532 140730061663760 140730061661160 5318987 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11436032 140730061669510 140730061669640 140730061669640 140730061672398 0
/proc/14125/statm: 6822 917 814 476 0 144 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 3668 KiB
Child status: 0
Real time (s): 1.04613
CPU time (s): 1.04402
CPU user time (s): 1.03993
CPU system time (s): 0.004094
CPU usage (%): 99.7983
Max. virtual memory (cumulated for all children) (KiB): 27288
Max. memory (cumulated for all children) (KiB): 3668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.03993
system time used= 0.004094
maximum resident set size= 3892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1130
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= 15
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 14125
# total CPU time (s): 1.04402
# total CPU user time (s): 1.03993
# total CPU system time (s): 0.004094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038268 second user time and 0.041094 second system time
The end
Begin job on node105 at 2018-07-28 19:30:07
IDJOB=4299322
IDBENCH=141346
IDSOLVER=2761
FILE ID=node105/4299322-1532799007
RUNJOBID= node105-1532776049-11497
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB
SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Langford/LangfordBin-06_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299322-1532799007/watcher-4299322-1532799007 -o /tmp/evaluation-result-4299322-1532799007/solver-4299322-1532799007 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299322-1532799007.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 067c7c3f6995d0e6d34aa4db2f294f93
RANDOM SEED=1066550889
node105.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.32
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.32
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.32
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.32
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: 20473856 kB
MemAvailable: 31931184 kB
Buffers: 270320 kB
Cached: 11325928 kB
SwapCached: 0 kB
Active: 2395656 kB
Inactive: 9254356 kB
Active(anon): 7992 kB
Inactive(anon): 73344 kB
Active(file): 2387664 kB
Inactive(file): 9181012 kB
Unevictable: 7296 kB
Mlocked: 7296 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2812 kB
Writeback: 0 kB
AnonPages: 53944 kB
Mapped: 45260 kB
Shmem: 25228 kB
Slab: 344840 kB
SReclaimable: 317112 kB
SUnreclaim: 27728 kB
KernelStack: 3584 kB
PageTables: 5236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 353368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 130432 kB
DirectMap2M: 33415168 kB
Free space on /tmp at the end= 44620 MiB
End job on node105 at 2018-07-28 19:30:08