0.00/0.00 c intension x[0] != x[2] using generic constraint
0.00/0.00 c intension x[0] != x[3] using generic constraint
0.00/0.00 c intension x[1] != x[3] using generic constraint
0.00/0.00 c intension x[1] != x[4] using generic constraint
0.00/0.00 c intension x[2] != x[4] using generic constraint
0.00/0.07 c SAT : Variables: 3125 -- Clauses: 975005
0.00/0.07 c root propagations : 0
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c This is cosoco 1.12 --
0.00/0.07 c
0.00/0.07 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266107-1502570674.xml
0.00/0.07 c ========================================[ Problem Statistics ]===========================================
0.00/0.07 c |
0.00/0.07 c | Parse time : 0.07 s
0.00/0.07 c |
0.00/0.07 c | Variables: 5
0.00/0.07 c | Domain Sizes: 625..625
0.00/0.07 c |
0.00/0.07 c | Constraints: 10
0.00/0.07 c | Arity: 2..2 -- Binary: 10
0.00/0.07 c |
0.00/0.07 c | Types:
0.00/0.07 c | (X != Y): 5
0.00/0.07 c | Intension: 5
0.00/0.07 c |
0.00/0.07 c =========================================================================================================
0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.08 c 10 10 160 24797 1 9 1 1 0
0.00/0.09 c 20 20 310 49567 1 18 1 1 0
0.00/0.10 c 30 30 460 74359 1 27 1 1 0
0.09/0.11 c 40 40 610 99049 1 36 1 1 0
0.09/0.12 c 50 50 760 123774 1 45 1 1 0
0.09/0.13 c 60 60 910 148434 1 54 1 1 0
0.09/0.15 c 70 70 1060 173054 1 63 1 1 0
0.09/0.16 c 80 80 1210 197738 1 72 1 1 0
0.09/0.17 c 90 90 1360 222318 1 81 1 1 0
0.09/0.18 c 100 100 1510 246942 1 90 1 1 0
0.09/0.19 c 101 101 1525 249419 1 90 1 1 0
0.09/0.20 c 110 110 1660 271538 1 98 1 1 0
0.09/0.21 c 120 120 1810 296088 1 107 1 1 0
0.20/0.22 c 130 130 1960 320730 1 116 1 1 0
0.20/0.24 c 140 140 2110 345280 1 125 1 1 0
0.20/0.25 c 150 150 2260 369876 1 134 1 1 0
0.20/0.26 c 160 160 2410 394472 1 143 1 1 0
0.20/0.28 c 170 170 2560 419022 1 152 1 1 0
0.20/0.29 c 180 180 2710 443664 1 161 1 1 0
0.20/0.30 c 190 190 2860 468214 1 170 1 1 0
0.30/0.32 c 200 200 3010 492810 1 179 1 1 0
0.30/0.33 c 210 210 3160 517406 1 188 1 1 0
0.30/0.33 c 211 211 3175 519861 1 188 1 1 0
0.30/0.34 c 220 220 3310 541956 1 196 1 1 0
0.30/0.35 c 230 230 3460 566598 1 205 1 1 0
0.30/0.37 c 240 240 3610 591148 1 214 1 1 0
0.30/0.38 c 250 250 3760 615744 1 223 1 1 0
0.30/0.39 c 260 260 3910 640340 1 232 1 1 0
0.30/0.41 c 270 270 4060 664890 1 241 1 1 0
0.40/0.42 c 280 280 4210 689532 1 250 1 1 0
0.40/0.44 c 290 290 4360 714082 1 259 1 1 0
0.40/0.45 c 300 300 4510 738678 1 268 1 1 0
0.40/0.46 c 310 310 4660 763274 1 277 1 1 0
0.40/0.48 c 320 320 4810 787824 1 286 1 1 0
0.40/0.49 c 330 330 4960 812466 1 295 1 1 0
0.40/0.49 c 332 332 4990 817376 1 296 1 1 0
0.40/0.50 c 340 340 5110 837016 1 303 1 1 0
0.50/0.52 c 350 350 5260 861612 1 312 1 1 0
0.50/0.53 c 360 360 5410 886208 1 321 1 1 0
0.50/0.54 c 370 370 5560 910758 1 330 1 1 0
0.50/0.55 c 380 380 5710 935400 1 339 1 1 0
0.50/0.57 c 390 390 5860 959950 1 348 1 1 0
0.50/0.58 c 400 400 6010 984546 1 357 1 1 0
0.50/0.59 c 410 410 6160 1009142 1 366 1 1 0
0.59/0.61 c 420 420 6310 1033692 1 375 1 1 0
0.59/0.62 c 430 430 6460 1058334 1 384 1 1 0
0.59/0.64 c 440 440 6610 1082884 1 393 1 1 0
0.59/0.65 c 450 450 6760 1107480 1 402 1 1 0
0.59/0.66 c 460 460 6910 1132076 1 411 1 1 0
0.59/0.67 c 465 465 6985 1144351 1 415 1 1 0
0.59/0.68 c 470 470 7060 1156626 1 419 1 1 0
0.59/0.69 c 480 480 7210 1181268 1 428 1 1 0
0.68/0.70 c 490 490 7360 1205818 1 437 1 1 0
0.68/0.72 c 500 500 7510 1230414 1 446 1 1 0
0.68/0.73 c 510 510 7660 1255010 1 455 1 1 0
0.68/0.74 c 520 520 7810 1279560 1 464 1 1 0
0.68/0.76 c 530 530 7960 1304215 1 473 1 1 0
0.68/0.77 c 540 540 8110 1328795 1 482 1 1 0
0.68/0.78 c 550 550 8260 1353419 1 491 1 1 0
0.68/0.79 c 560 560 8410 1378079 1 500 1 1 0
0.78/0.81 c 570 570 8560 1402699 1 509 1 1 0
0.78/0.82 c 580 580 8710 1427429 1 518 1 1 0
0.78/0.83 c 590 590 8860 1452119 1 527 1 1 0
0.78/0.84 c 600 600 9010 1476844 1 536 1 1 0
0.78/0.85 c 610 610 9165 1502825 1 545 1 1 0
0.78/0.85 c 611 611 9185 1504122 3 545 1 1 0
0.78/0.86 c 620 620 9373 1515625 5 553 1 1 0
0.78/0.86 c restarts : 67
0.78/0.86 c conflicts : 624 (735 /sec)
0.78/0.86 c decisions : 624 (735 /sec)
0.78/0.86 c propagations : 1515976 (1785604 /sec)
0.78/0.86 c root propagations : 0
0.78/0.86 c filter calls : 9467 (11151 /sec)
0.78/0.86 c useless filter calls : 5054 (53 %)
0.78/0.86 c
0.78/0.86 c clauses : 975005
0.78/0.86 c SAT propagations : 0
0.78/0.86 c SAT conflicts : 0 (0 learnts)
0.78/0.86 c Memory used : 65.97 MB
0.78/0.86 c CPU time : 0.848951 s
0.78/0.86
0.78/0.86 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 (13109 MiB free)
memory of node 1: 16384 MiB (13399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266107-1502570674/watcher-4266107-1502570674 -o /tmp/evaluation-result-4266107-1502570674/solver-4266107-1502570674 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266107-1502570674.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
solver pid=25531, runsolver pid=25528
Current StackSize limit: 8192 KiB
[startup+0.100723 s]*
/proc/loadavg: 1.92 2.01 1.91 3/188 25532
/proc/meminfo: memFree=27108644/32770624 swapFree=67108860/67108860
[pid=25531] ppid=25528 vsize=67552 memory=40988 CPUtime=0.09 cores=0,2,4,6
/proc/25531/stat : 25531 (cosoco) R 25528 25531 24815 0 -1 4202496 8384 0 0 0 9 0 0 0 20 0 1 0 90155042 69173248 10247 33554432000 4194304 5972588 140721902192160 140721902189464 5320272 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11980800 140721902195898 140721902195998 140721902195998 140721902198734 0
/proc/25531/statm: 16888 10247 817 435 0 10251 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67552 KiB
Current children cumulated memory: 40988 KiB
[startup+0.209751 s]*
/proc/loadavg: 1.92 2.01 1.91 3/188 25532
/proc/meminfo: memFree=27108396/32770624 swapFree=67108860/67108860
[pid=25531] ppid=25528 vsize=67552 memory=40988 CPUtime=0.2 cores=0,2,4,6
/proc/25531/stat : 25531 (cosoco) R 25528 25531 24815 0 -1 4202496 8384 0 0 0 20 0 0 0 20 0 1 0 90155042 69173248 10247 33554432000 4194304 5972588 140721902192160 140721902189464 4909584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11980800 140721902195898 140721902195998 140721902195998 140721902198734 0
/proc/25531/statm: 16888 10247 817 435 0 10251 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67552 KiB
Current children cumulated memory: 40988 KiB
[startup+0.308954 s]*
/proc/loadavg: 1.92 2.01 1.91 3/188 25532
/proc/meminfo: memFree=27108248/32770624 swapFree=67108860/67108860
[pid=25531] ppid=25528 vsize=67552 memory=40988 CPUtime=0.3 cores=0,2,4,6
/proc/25531/stat : 25531 (cosoco) R 25528 25531 24815 0 -1 4202496 8384 0 0 0 30 0 0 0 20 0 1 0 90155042 69173248 10247 33554432000 4194304 5972588 140721902192160 140721902189464 5099648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11980800 140721902195898 140721902195998 140721902195998 140721902198734 0
/proc/25531/statm: 16888 10247 817 435 0 10251 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67552 KiB
Current children cumulated memory: 40988 KiB
[startup+0.700225 s]
/proc/loadavg: 1.92 2.01 1.91 3/188 25532
/proc/meminfo: memFree=27108248/32770624 swapFree=67108860/67108860
[pid=25531] ppid=25528 vsize=67552 memory=40988 CPUtime=0.68 cores=0,2,4,6
/proc/25531/stat : 25531 (cosoco) R 25528 25531 24815 0 -1 4202496 8384 0 0 0 68 0 0 0 20 0 1 0 90155042 69173248 10247 33554432000 4194304 5972588 140721902192160 140721902189464 4962387 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11980800 140721902195898 140721902195998 140721902195998 140721902198734 0
/proc/25531/statm: 16888 10247 817 435 0 10251 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67552 KiB
Current children cumulated memory: 40988 KiB
[startup+0.864663 s]
# the end of solver process 25531 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.849355 s, system=0.010004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800237 s]
/proc/loadavg: 1.92 2.01 1.91 3/188 25532
/proc/meminfo: memFree=27108248/32770624 swapFree=67108860/67108860
[pid=25531] ppid=25528 vsize=67552 memory=40988 CPUtime=0.78 cores=0,2,4,6
/proc/25531/stat : 25531 (cosoco) R 25528 25531 24815 0 -1 4202496 8384 0 0 0 78 0 0 0 20 0 1 0 90155042 69173248 10247 33554432000 4194304 5972588 140721902192160 140721902189464 5070962 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 11980800 140721902195898 140721902195998 140721902195998 140721902198734 0
/proc/25531/statm: 16888 10247 817 435 0 10251 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 67552 KiB
Current children cumulated memory: 40988 KiB
Child status: 0
Real time (s): 0.864693
CPU time (s): 0.859359
CPU user time (s): 0.849355
CPU system time (s): 0.010004
CPU usage (%): 99.3831
Max. virtual memory (cumulated for all children) (KiB): 67552
Max. memory (cumulated for all children) (KiB): 40988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.849355
system time used= 0.010004
maximum resident set size= 41136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8402
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= 6
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 25531
# total CPU time (s): 0.859359
# total CPU user time (s): 0.849355
# total CPU system time (s): 0.010004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023236 second user time and 0.049642 second system time
The end
Begin job on node113 at 2017-08-12 22:30:16
IDJOB=4266107
IDBENCH=120673
IDSOLVER=2655
FILE ID=node113/4266107-1502570674
RUNJOBID= node113-1502567255-24898
PBS_JOBID= 20628282
Free space on /tmp= 61808 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-025-05.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266107-1502570674/watcher-4266107-1502570674 -o /tmp/evaluation-result-4266107-1502570674/solver-4266107-1502570674 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266107-1502570674.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 2360d4300bf0f014cb2ca48694f7fbc3
RANDOM SEED=432303969
node113.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.89
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.89
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.89
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.89
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: 27146448 kB
MemAvailable: 31986832 kB
Buffers: 122156 kB
Cached: 5011192 kB
SwapCached: 0 kB
Active: 469012 kB
Inactive: 4727000 kB
Active(anon): 65576 kB
Inactive(anon): 24988 kB
Active(file): 403436 kB
Inactive(file): 4702012 kB
Unevictable: 6572 kB
Mlocked: 6572 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2376 kB
Writeback: 0 kB
AnonPages: 68696 kB
Mapped: 44056 kB
Shmem: 25224 kB
Slab: 126752 kB
SReclaimable: 101544 kB
SUnreclaim: 25208 kB
KernelStack: 3312 kB
PageTables: 5152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 364020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61804 MiB
End job on node113 at 2017-08-12 22:30:17