3.78/3.88 c Create Cardinality(vars,values,occurs) constraint using 27 Exactly/AtMost.. constraint
3.78/3.88 c
3.78/3.88 c Create Cardinality(vars,values,occurs) constraint using 27 Exactly/AtMost.. constraint
3.78/3.88 c
3.78/3.88 c Create Cardinality(vars,values,occurs) constraint using 27 Exactly/AtMost.. constraint
3.78/3.88 c
3.78/3.88 c Create Cardinality(vars,values,occurs) constraint using 27 Exactly/AtMost.. constraint
3.78/3.88 c
3.78/3.88 c Create Cardinality(vars,values,occurs) constraint using 27 Exactly/AtMost.. constraint
3.78/3.88 c
3.78/3.88 c SAT : Variables: 1215 -- Clauses: 4995
3.88/3.92 c root propagations : 125
3.88/3.92 c restarts enabled, print stats at every restarts
3.88/3.92 c
3.88/3.92 c
3.88/3.92 c
3.88/3.92 c This is cosoco 1.12 --
3.88/3.92 c
3.88/3.92 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266401-1502576566.xml
3.88/3.92 c ========================================[ Problem Statistics ]===========================================
3.88/3.92 c |
3.88/3.92 c | Parse time : 3.87 s
3.88/3.92 c |
3.88/3.92 c | Variables: 135
3.88/3.92 c | Domain Sizes: 9..9
3.88/3.92 c |
3.88/3.92 c | Constraints: 3612
3.88/3.92 c | Arity: 1..54 -- Unary: 27
3.88/3.92 c |
3.88/3.92 c | Types:
3.88/3.92 c | Exactly K: 45
3.88/3.92 c | Intension: 3510
3.88/3.92 c | Lex: 30
3.88/3.92 c | Unary: 27
3.88/3.92 c |
3.88/3.92 c =========================================================================================================
3.88/3.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.88/3.99 c 10 119 57838 857 27 10 42 110 80
4.00/4.08 c 20 246 110590 1644 28 18 1 114 63
4.09/4.12 c 30 326 136570 2061 29 24 1 64 39
4.18/4.20 c 40 460 192919 2852 29 29 91 110 87
4.18/4.28 c 50 601 251327 3670 30 36 1 129 74
4.28/4.32 c 60 681 276431 4043 31 40 1 57 38
4.38/4.40 c solution 1
4.38/4.40
4.38/4.40 v <instantiation type='solution'>
4.38/4.40 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] </list>
4.38/4.40 v <values>0 0 0 1 1 1 2 2 2 3 3 3 4 4 4 5 5 5 6 6 6 7 7 7 8 8 8 0 1 8 3 4 5 3 4 6 0 2 7 1 2 7 0 1 6 2 3 8 4 5 6 5 7 8 0 3 1 5 8 7 2 0 7 3 2 8 0 1 4 2 1 8 4 3 6 6 4 5 6 5 7 0 3 4 6 2 5 0 1 8 2 1 6 2 0 7 3 1 5 3 4 5 8 4 7 6 8 7 6 7 8 5 4 0 1 0 2 3 2 7 1 0 8 4 3 5 6 4 7 8 5 6 2 1 3 </values>
4.38/4.40 v </instantiation>
4.38/4.40
4.38/4.40 c restarts : 6
4.38/4.40 c conflicts : 68 (16 /sec)
4.38/4.40 c decisions : 834 (190 /sec)
4.38/4.40 c propagations : 4834 (1103 /sec)
4.38/4.40 c root propagations : 125
4.38/4.40 c filter calls : 338823 (77285 /sec)
4.38/4.40 c useless filter calls : 336862 (99 %)
4.38/4.40 c
4.38/4.40 c clauses : 5031
4.38/4.40 c SAT propagations : 0
4.38/4.40 c SAT conflicts : 0 (0 learnts)
4.38/4.40 c Memory used : 46.88 MB
4.38/4.40 c CPU time : 4.38396 s
4.38/4.40
4.38/4.40 s SATISFIABLE
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 (15047 MiB free)
memory of node 1: 16384 MiB (15541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266401-1502576566/watcher-4266401-1502576566 -o /tmp/evaluation-result-4266401-1502576566/solver-4266401-1502576566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266401-1502576566.xml
running on 4 cores: 1,3,5,7
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=25397, runsolver pid=25394
[startup+0.100626 s]*
/proc/loadavg: 2.00 2.04 2.08 3/187 25398
/proc/meminfo: memFree=31323008/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=27392 memory=3856 CPUtime=0.1 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 1143 0 0 0 10 0 0 0 20 0 1 0 90744979 28049408 964 33554432000 4194304 5972588 140735142356256 140735142348560 140571481319861 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 6848 964 786 435 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27392 KiB
Current children cumulated memory: 3856 KiB
[startup+0.209333 s]*
/proc/loadavg: 2.00 2.04 2.08 3/187 25398
/proc/meminfo: memFree=31322744/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=27756 memory=4192 CPUtime=0.21 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 1229 0 0 0 21 0 0 0 20 0 1 0 90744979 28422144 1048 33554432000 4194304 5972588 140735142356256 140735142348560 140571481312811 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 6939 1048 787 435 0 302 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4192 KiB
[startup+0.308897 s]*
/proc/loadavg: 2.00 2.04 2.08 3/187 25398
/proc/meminfo: memFree=31322000/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=28120 memory=4556 CPUtime=0.31 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 1308 0 0 0 31 0 0 0 20 0 1 0 90744979 28794880 1139 33554432000 4194304 5972588 140735142356256 140735142348560 140571481320421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 7030 1139 787 435 0 393 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 4556 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 25398
/proc/meminfo: memFree=31321692/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=29344 memory=5780 CPUtime=0.69 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 1609 0 0 0 69 0 0 0 20 0 1 0 90744979 30048256 1445 33554432000 4194304 5972588 140735142356256 140735142350056 140571481320421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 7336 1445 787 435 0 699 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29344 KiB
Current children cumulated memory: 5780 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 25398
/proc/meminfo: memFree=31320204/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=31752 memory=8188 CPUtime=1.49 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 2238 0 0 0 149 0 0 0 20 0 1 0 90744979 32514048 2047 33554432000 4194304 5972588 140735142356256 140735142350056 140571481312868 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 7938 2047 787 435 0 1301 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31752 KiB
Current children cumulated memory: 8188 KiB
[startup+3.10914 s]
/proc/loadavg: 2.00 2.04 2.07 3/182 25447
/proc/meminfo: memFree=31710992/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=36844 memory=13280 CPUtime=3.09 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 3572 0 0 0 309 0 0 0 20 0 1 0 90744979 37728256 3320 33554432000 4194304 5972588 140735142356256 140735142350056 140571481320421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 9211 3320 787 435 0 2574 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36844 KiB
Current children cumulated memory: 13280 KiB
[startup+4.40893 s]
# the end of solver process 25397 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.38406 s, system=0.016995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20028 s]
/proc/loadavg: 2.00 2.04 2.07 3/182 25447
/proc/meminfo: memFree=31710992/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=37092 memory=13524 CPUtime=3.18 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 3644 0 0 0 318 0 0 0 20 0 1 0 90744979 37982208 3381 33554432000 4194304 5972588 140735142356256 140735142350056 140571490643664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 9273 3381 787 435 0 2636 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 37092 KiB
Current children cumulated memory: 13524 KiB
[startup+4.00031 s]*
/proc/loadavg: 2.00 2.04 2.07 3/183 25500
/proc/meminfo: memFree=31700860/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=48000 memory=20236 CPUtime=4 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 6902 0 0 0 399 1 0 0 20 0 1 0 90744979 49152000 5059 33554432000 4194304 5972588 140735142356256 140735142353560 4962387 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 12000 5059 843 435 0 5363 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 48000 KiB
Current children cumulated memory: 20236 KiB
[startup+4.40035 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 25500
/proc/meminfo: memFree=31700860/32770624 swapFree=67108860/67108860
[pid=25397] ppid=25394 vsize=48000 memory=20416 CPUtime=4.38 cores=1,3,5,7
/proc/25397/stat : 25397 (cosoco) R 25394 25397 24193 0 -1 4202496 11059 0 0 0 437 1 0 0 20 0 1 0 90744979 49152000 5104 33554432000 4194304 5972588 140735142356256 140735142353560 5071296 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 12414976 140735142360250 140735142360350 140735142360350 140735142363086 0
/proc/25397/statm: 12000 5104 846 435 0 5363 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 48000 KiB
Current children cumulated memory: 20416 KiB
Child status: 0
Real time (s): 4.40898
CPU time (s): 4.40106
CPU user time (s): 4.38406
CPU system time (s): 0.016995
CPU usage (%): 99.8204
Max. virtual memory (cumulated for all children) (KiB): 48000
Max. memory (cumulated for all children) (KiB): 20416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.38406
system time used= 0.016995
maximum resident set size= 20508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11104
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= 10
involuntary context switches= 1041
# summary of solver processes directly reported to runsolver:
# pid: 25397
# total CPU time (s): 4.40106
# total CPU user time (s): 4.38406
# total CPU system time (s): 0.016995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035482 second user time and 0.071708 second system time
The end
Begin job on node102 at 2017-08-13 00:08:28
IDJOB=4266401
IDBENCH=126553
IDSOLVER=2655
FILE ID=node102/4266401-1502576566
RUNJOBID= node102-1502567256-24277
PBS_JOBID= 20628289
Free space on /tmp= 61908 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-3-5-cp.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266401-1502576566/watcher-4266401-1502576566 -o /tmp/evaluation-result-4266401-1502576566/solver-4266401-1502576566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266401-1502576566.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 0eeb94d3c32d9a0ecc0d968e8c219d20
RANDOM SEED=129066470
node102.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.35
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.35
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.35
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.35
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: 31324188 kB
MemAvailable: 31619916 kB
Buffers: 80628 kB
Cached: 523348 kB
SwapCached: 0 kB
Active: 952592 kB
Inactive: 99340 kB
Active(anon): 398272 kB
Inactive(anon): 77220 kB
Active(file): 554320 kB
Inactive(file): 22120 kB
Unevictable: 6460 kB
Mlocked: 6460 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2428 kB
Writeback: 0 kB
AnonPages: 445568 kB
Mapped: 44020 kB
Shmem: 25228 kB
Slab: 96204 kB
SReclaimable: 70244 kB
SUnreclaim: 25960 kB
KernelStack: 3328 kB
PageTables: 5604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 760868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 366592 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61908 MiB
End job on node102 at 2017-08-13 00:08:33