0.19/0.28 c intension k[0] != k[2] using generic constraint
0.19/0.28 c intension k[0] != k[3] using generic constraint
0.19/0.28 c intension k[1] != k[3] using generic constraint
0.19/0.28 c intension k[1] != k[4] using generic constraint
0.19/0.28 c intension k[2] != k[4] using generic constraint
0.39/0.42 c SAT : Variables: 2400 -- Clauses: 402825
0.39/0.42 c root propagations : 0
0.39/0.42 c restarts enabled, print stats at every restarts
0.39/0.42 c
0.39/0.42 c
0.39/0.42 c
0.39/0.42 c This is cosoco 1.0 --
0.39/0.42 c
0.39/0.42 c ========================================[ Problem Statistics ]===========================================
0.39/0.42 c |
0.39/0.42 c | Parse time : 0.41 s
0.39/0.42 c |
0.39/0.42 c | Variables: 25
0.39/0.42 c | Domain Sizes: 20..400
0.39/0.42 c |
0.39/0.42 c | Constraints: 300
0.39/0.42 c | Arity: 2..2 -- Binary: 300
0.39/0.42 c |
0.39/0.42 c | Types:
0.39/0.42 c | (X != Y): 5
0.39/0.42 c | Intension: 295
0.39/0.42 c |
0.39/0.42 c =========================================================================================================
0.39/0.42 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.39/0.47 c 10 30 7528 1062 0 4 11 14 11
0.49/0.51 c 20 60 12673 13522 0 14 14 21 17
0.49/0.52 c 30 70 13613 29329 1 23 1 1 0
0.49/0.53 c 40 80 14553 45136 1 32 1 1 0
0.49/0.54 c 50 90 15640 60871 1 41 1 1 0
0.49/0.55 c 60 100 16727 76606 1 50 1 1 0
0.49/0.57 c 70 110 17835 92276 1 59 1 1 0
0.49/0.58 c 80 120 18943 107946 1 68 1 1 0
0.49/0.59 c 90 130 20072 123580 1 77 1 1 0
0.59/0.61 c 100 140 21201 139214 1 86 1 1 0
0.59/0.61 c 101 141 21295 140792 1 86 1 1 0
0.59/0.62 c 110 150 22330 154820 1 94 1 1 0
0.59/0.63 c 120 160 23459 170426 1 103 1 1 0
0.59/0.64 c 130 170 24588 186032 1 112 1 1 0
0.59/0.66 c 140 180 25717 201638 1 121 1 1 0
0.59/0.67 c 150 190 26846 217244 1 130 1 1 0
0.59/0.68 c 160 200 27975 232850 1 139 1 1 0
0.69/0.70 c 170 210 29104 248456 1 148 1 1 0
0.69/0.71 c 180 220 30233 264062 1 157 1 1 0
0.69/0.72 c 190 230 31362 279668 1 166 1 1 0
0.69/0.73 c 200 240 32491 295274 1 175 1 1 0
0.69/0.75 c 210 250 33620 310880 1 184 1 1 0
0.69/0.75 c 211 251 33735 312436 1 184 1 1 0
0.69/0.76 c 220 260 34749 326486 1 192 1 1 0
0.69/0.77 c 230 270 35878 342092 1 201 1 1 0
0.69/0.78 c 240 280 37007 357698 1 210 1 1 0
0.69/0.79 c 250 290 38136 373304 1 219 1 1 0
0.79/0.81 c 260 300 39265 388910 1 228 1 1 0
0.79/0.82 c 270 310 40394 404516 1 237 1 1 0
0.79/0.83 c 280 320 41523 420122 1 246 1 1 0
0.79/0.84 c 290 330 42652 435728 1 255 1 1 0
0.79/0.85 c 300 340 43781 451334 1 264 1 1 0
0.79/0.87 c 310 350 44910 466940 1 273 1 1 0
0.79/0.88 c 320 360 46039 482546 1 282 1 1 0
0.79/0.89 c 330 370 47168 498152 1 291 1 1 0
0.79/0.89 c 332 372 47398 501264 1 292 1 1 0
0.89/0.90 c 340 380 48297 513758 1 299 1 1 0
0.89/0.91 c 350 390 49426 529392 1 308 1 1 0
0.89/0.92 c 360 400 50555 545026 1 317 1 1 0
0.89/0.93 c 370 410 51663 560696 1 326 1 1 0
0.89/0.94 c 380 420 52771 576366 1 335 1 1 0
0.89/0.95 c 390 430 53858 592101 1 344 1 1 0
0.89/0.96 c 400 440 55170 605728 3 353 1 1 0
0.89/0.97 c 410 450 56559 614909 3 362 1 1 0
0.89/0.97 c restarts : 44
0.89/0.97 c conflicts : 419 (432 /sec)
0.89/0.97 c decisions : 459 (473 /sec)
0.89/0.97 c propagations : 615975 (634432 /sec)
0.89/0.97 c root propagations : 0
0.89/0.97 c filter calls : 58163 (59906 /sec)
0.89/0.97 c useless filter calls : 53685 (92 %)
0.89/0.97 c
0.89/0.97 c clauses : 402839
0.89/0.97 c SAT propagations : 0
0.89/0.97 c SAT conflicts : 0 (0 learnts)
0.89/0.97 c Memory used : 44.86 MB
0.89/0.97 c CPU time : 0.970908 s
0.89/0.97
0.89/0.97 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-4240304-1500625060/watcher-4240304-1500625060 -o /tmp/evaluation-result-4240304-1500625060/solver-4240304-1500625060 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240304-1500625060.xml
pid=4200
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: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 1 0 15782887 27639808 765 33554432000 4194304 5970956 140722761764864 140722761761512 5406650 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 6748 765 683 434 0 112 0
[startup+0.100163 s]
/proc/loadavg: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=27116 CPUtime=0.09 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 1075 0 0 0 9 0 0 0 20 0 1 0 15782887 27766784 886 33554432000 4194304 5970956 140722761764864 140722761758696 140578816347521 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 6779 886 782 434 0 143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27116
[startup+0.2003 s]
/proc/loadavg: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=27356 CPUtime=0.19 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 1122 0 0 0 19 0 0 0 20 0 1 0 15782887 28012544 947 33554432000 4194304 5970956 140722761764864 140722761758696 140578806725484 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 6839 947 782 434 0 203 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27356
[startup+0.300251 s]
/proc/loadavg: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=27736 CPUtime=0.29 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 1228 0 0 0 29 0 0 0 20 0 1 0 15782887 28401664 1046 33554432000 4194304 5970956 140722761764864 140722761758696 140578807432560 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 6934 1046 785 434 0 298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27736
[startup+0.70022 s]
/proc/loadavg: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=45928 CPUtime=0.69 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 4702 0 0 0 69 0 0 0 20 0 1 0 15782887 47030272 5525 33554432000 4194304 5970956 140722761764864 140722761762200 4967810 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 11482 5525 828 434 0 4846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45928
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4203 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80028 s]
/proc/loadavg: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=45928 CPUtime=0.79 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 4707 0 0 0 79 0 0 0 20 0 1 0 15782887 47030272 5525 33554432000 4194304 5970956 140722761764864 140722761762200 5070008 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 11482 5525 828 434 0 4846 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 45928
[startup+0.900216 s]
/proc/loadavg: 1.97 1.97 1.52 3/186 4203
/proc/meminfo: memFree=31042692/32770624 swapFree=6176/987336
[pid=4203] ppid=4200 vsize=45928 CPUtime=0.89 cores=1,3,5,7
/proc/4203/stat : 4203 (cosoco) R 4200 4203 2920 0 -1 4202496 4712 0 0 0 89 0 0 0 20 0 1 0 15782887 47030272 5525 33554432000 4194304 5970956 140722761764864 140722761762200 5070932 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33472512 140722761766076 140722761766211 140722761766211 140722761768910 0
/proc/4203/statm: 11482 5525 828 434 0 4846 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 45928
Child status: 0
Real time (s): 0.980389
CPU time (s): 0.978909
CPU user time (s): 0.970908
CPU system time (s): 0.008001
CPU usage (%): 99.849
Max. virtual memory (cumulated for all children) (KiB): 45928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.970908
system time used= 0.008001
maximum resident set size= 22384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4735
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= 12
involuntary context switches= 50
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.003634 second user time and 0.014537 second system time
The end
Begin job on node125 at 2017-07-21 10:17:40
IDJOB=4240304
IDBENCH=120888
IDSOLVER=2621
FILE ID=node125/4240304-1500625060
RUNJOBID= node125-1500623778-2952
PBS_JOBID= 20623008
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-020-05-mul.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240304-1500625060/watcher-4240304-1500625060 -o /tmp/evaluation-result-4240304-1500625060/solver-4240304-1500625060 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240304-1500625060.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a36cd0da2272e5282cbf2247e3cbad08
RANDOM SEED=577286252
node125.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 : 1600.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.75
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 : 1600.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.56
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.75
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.56
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.75
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.56
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.75
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 : 2000.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.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31042784 kB
MemAvailable: 32011936 kB
Buffers: 155644 kB
Cached: 1093972 kB
SwapCached: 0 kB
Active: 315636 kB
Inactive: 996460 kB
Active(anon): 65156 kB
Inactive(anon): 8864 kB
Active(file): 250480 kB
Inactive(file): 987596 kB
Unevictable: 6176 kB
Mlocked: 6176 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2376 kB
Writeback: 0 kB
AnonPages: 68020 kB
Mapped: 34200 kB
Shmem: 8848 kB
Slab: 118172 kB
SReclaimable: 93824 kB
SUnreclaim: 24348 kB
KernelStack: 3312 kB
PageTables: 5120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 336004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-07-21 10:17:41