0.00/0.08 c root propagations : 455
0.00/0.08 c restarts enabled, print stats at every restarts
0.00/0.08 c
0.00/0.08 c
0.00/0.08 c
0.00/0.08 c This is cosoco 1.1 --
0.00/0.08 c
0.00/0.08 c command line: cosoco -lc -model -restarts HOME/instance-4260097-1502024801.xml
0.00/0.08 c ========================================[ Problem Statistics ]===========================================
0.00/0.08 c |
0.00/0.08 c | Parse time : 0.00 s
0.00/0.08 c |
0.00/0.08 c | Variables: 256
0.00/0.08 c | Domain Sizes: 9..9
0.00/0.08 c |
0.00/0.08 c | Constraints: 176
0.00/0.08 c | Arity: 2..7 -- Binary: 48 -- Ternary: 24
0.00/0.08 c |
0.00/0.08 c | Types:
0.00/0.08 c | All Different: 88
0.00/0.08 c | Sum: 88
0.00/0.08 c |
0.00/0.08 c =========================================================================================================
0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.08 c remove useless variable x[0][0]
0.00/0.08 c remove useless variable x[0][1]
0.00/0.08 c remove useless variable x[0][2]
0.00/0.08 c remove useless variable x[0][3]
0.00/0.08 c remove useless variable x[0][4]
0.00/0.08 c remove useless variable x[0][5]
0.00/0.08 c remove useless variable x[0][6]
0.00/0.08 c remove useless variable x[0][7]
0.00/0.08 c remove useless variable x[0][8]
0.00/0.08 c remove useless variable x[0][9]
0.00/0.08 c remove useless variable x[0][10]
0.00/0.08 c remove useless variable x[0][11]
0.00/0.08 c remove useless variable x[0][12]
0.00/0.08 c remove useless variable x[0][13]
0.00/0.08 c remove useless variable x[0][14]
0.00/0.08 c remove useless variable x[0][15]
0.00/0.08 c remove useless variable x[1][0]
0.00/0.08 c remove useless variable x[1][1]
0.00/0.08 c remove useless variable x[1][5]
0.00/0.08 c remove useless variable x[1][6]
0.00/0.08 c remove useless variable x[1][10]
0.00/0.08 c remove useless variable x[1][13]
0.00/0.08 c remove useless variable x[1][14]
0.00/0.08 c remove useless variable x[1][15]
0.00/0.08 c remove useless variable x[2][0]
0.00/0.08 c remove useless variable x[2][1]
0.00/0.08 c remove useless variable x[2][6]
0.00/0.08 c remove useless variable x[2][13]
0.00/0.08 c remove useless variable x[3][0]
0.00/0.08 c remove useless variable x[3][1]
0.00/0.08 c remove useless variable x[3][2]
0.00/0.08 c remove useless variable x[3][7]
0.00/0.08 c remove useless variable x[3][11]
0.00/0.08 c remove useless variable x[4][0]
0.00/0.08 c remove useless variable x[4][7]
0.00/0.08 c remove useless variable x[4][10]
0.00/0.08 c remove useless variable x[5][0]
0.00/0.08 c remove useless variable x[5][3]
0.00/0.08 c remove useless variable x[5][9]
0.00/0.08 c remove useless variable x[5][15]
0.00/0.08 c remove useless variable x[6][0]
0.00/0.08 c remove useless variable x[6][1]
0.00/0.08 c remove useless variable x[6][4]
0.00/0.08 c remove useless variable x[6][9]
0.00/0.08 c remove useless variable x[6][14]
0.00/0.08 c remove useless variable x[6][15]
0.00/0.08 c remove useless variable x[7][0]
0.00/0.08 c remove useless variable x[7][5]
0.00/0.08 c remove useless variable x[7][6]
0.00/0.08 c remove useless variable x[7][12]
0.00/0.08 c remove useless variable x[7][13]
0.00/0.08 c remove useless variable x[8][0]
0.00/0.08 c remove useless variable x[8][8]
0.00/0.08 c remove useless variable x[9][0]
0.00/0.08 c remove useless variable x[9][3]
0.00/0.08 c remove useless variable x[9][4]
0.00/0.08 c remove useless variable x[9][10]
0.00/0.08 c remove useless variable x[9][11]
0.00/0.08 c remove useless variable x[10][0]
0.00/0.08 c remove useless variable x[10][1]
0.00/0.08 c remove useless variable x[10][2]
0.00/0.08 c remove useless variable x[10][7]
0.00/0.08 c remove useless variable x[10][12]
0.00/0.08 c remove useless variable x[10][15]
0.00/0.08 c remove useless variable x[11][0]
0.00/0.08 c remove useless variable x[11][1]
0.00/0.08 c remove useless variable x[11][7]
0.00/0.08 c remove useless variable x[11][13]
0.00/0.08 c remove useless variable x[12][0]
0.00/0.08 c remove useless variable x[12][6]
0.00/0.08 c remove useless variable x[12][9]
0.00/0.08 c remove useless variable x[13][0]
0.00/0.08 c remove useless variable x[13][5]
0.00/0.08 c remove useless variable x[13][9]
0.00/0.08 c remove useless variable x[13][14]
0.00/0.08 c remove useless variable x[13][15]
0.00/0.08 c remove useless variable x[14][0]
0.00/0.08 c remove useless variable x[14][3]
0.00/0.08 c remove useless variable x[14][10]
0.00/0.08 c remove useless variable x[14][15]
0.00/0.08 c remove useless variable x[15][0]
0.00/0.08 c remove useless variable x[15][1]
0.00/0.08 c remove useless variable x[15][2]
0.00/0.08 c remove useless variable x[15][3]
0.00/0.08 c remove useless variable x[15][6]
0.00/0.08 c remove useless variable x[15][10]
0.00/0.08 c remove useless variable x[15][11]
0.00/0.08 c remove useless variable x[15][15]
0.00/0.08 c 101 369 6622 6134 115 0 25 109 75
0.00/0.08 c 211 775 12135 10947 115 0 5 92 40
0.00/0.09 c 332 1350 18689 16533 115 0 4 93 44
0.00/0.09 c 465 1780 25907 22976 116 0 1 45 15
0.02/0.10 c 611 2395 34351 30064 116 0 1 102 41
0.02/0.10 c 771 3115 44637 38430 116 0 3 68 48
0.02/0.11 c 947 3613 52366 46472 116 0 1 60 35
0.02/0.11 c 1140 4233 62443 56314 117 0 1 27 15
0.02/0.12 c 1352 4718 69209 62507 117 0 1 22 15
0.02/0.12 c 1585 5412 80648 72968 118 0 1 23 12
0.02/0.13 c 1841 6053 90925 83488 119 0 3 23 17
0.02/0.14 c 2122 7273 110260 100149 119 0 3 40 28
0.02/0.15 c 2431 8200 125591 114226 119 0 3 30 13
0.02/0.16 c 2770 9539 144701 129470 119 0 3 35 21
0.02/0.17 c 3142 10582 161982 144368 119 0 1 31 14
0.02/0.18 c 3551 11596 179202 158501 120 0 1 32 9
0.02/0.19 c 4000 12930 198992 175653 120 0 1 32 13
0.12/0.20 c 4493 14607 224873 198092 120 0 3 30 14
0.12/0.22 c 5035 16786 260832 228928 120 0 2 37 14
0.12/0.24 c 5631 19519 303292 263568 123 0 1 41 14
0.12/0.26 c 6286 22106 342952 297771 124 0 3 108 28
0.12/0.27 c solution 1
0.12/0.27
0.12/0.27 v <instantiation type='solution'>
0.12/0.27 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[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[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[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[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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] </list>
0.12/0.27 v <values>* * * * * * * * * * * * * * * * * * 4 9 8 * * 9 8 6 * 9 6 * * * * * 5 8 7 9 * 2 5 1 3 7 4 * 8 9 * * * 3 1 7 2 * 4 2 1 * 9 6 2 1 * 1 4 5 2 6 3 * 1 3 * 8 7 2 1 3 * 3 1 * 6 8 5 7 9 * 4 9 8 7 6 * * * 5 9 * 5 1 3 2 * 1 5 2 3 * * * 2 3 6 1 * * 4 3 1 2 6 * * 5 1 * 4 7 8 3 6 5 9 * 4 3 7 1 2 9 5 * 1 2 * * 4 1 2 6 3 * * 5 9 8 7 * * * 8 4 7 2 * 3 2 1 4 * 1 3 * * * 4 9 5 8 3 * 8 6 9 7 5 * 6 3 * 5 1 4 3 2 * 2 1 * 4 9 3 2 7 1 * 4 2 3 1 * 2 1 4 * 2 6 7 1 * * * 9 7 * 2 7 1 4 5 3 * 8 9 5 7 * * * * * 7 9 * 3 2 1 * * 8 7 9 * </values>
0.12/0.27 v </instantiation>
0.12/0.27
0.12/0.27 c restarts : 21
0.12/0.27 c conflicts : 6379 (32468 /sec)
0.12/0.27 c decisions : 22673 (115403 /sec)
0.12/0.27 c propagations : 303722 (1545911 /sec)
0.12/0.27 c root propagations : 455
0.12/0.27 c filter calls : 350217 (1782565 /sec)
0.12/0.27 c useless filter calls : 231611 (66 %)
0.12/0.27 c Memory used : 26.65 MB
0.12/0.27 c CPU time : 0.196468 s
0.12/0.27
0.12/0.27 s SATISFIABLE
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-4260097-1502024801/watcher-4260097-1502024801 -o /tmp/evaluation-result-4260097-1502024801/solver-4260097-1502024801 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260097-1502024801.xml
pid=28113
running on 4 cores: 0,2,4,6
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.08 2.06 2.05 4/185 28116
/proc/meminfo: memFree=31549552/32770624 swapFree=0/309384
[pid=28116] ppid=28113 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28116/stat : 28116 (runsolver) D 28113 28116 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 50295413 24240128 106 18446744073709551615 4194304 4338465 140724396013536 140724396011176 139835202048727 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 30646272 140724396015809 140724396016201 140724396016201 140724396019658 0
/proc/28116/statm: 5918 106 53 36 0 2156 0
[startup+0.100195 s]
/proc/loadavg: 2.08 2.06 2.05 4/185 28116
/proc/meminfo: memFree=31549552/32770624 swapFree=0/309384
[pid=28116] ppid=28113 vsize=27288 CPUtime=0.02 cores=0,2,4,6
/proc/28116/stat : 28116 (cosoco) R 28113 28116 25100 0 -1 4202496 1141 0 0 0 2 0 0 0 20 0 1 0 50295413 27942912 964 18446744073709551615 4194304 5747388 140731042649920 140731042646568 4940648 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 8704000 140731042656750 140731042656845 140731042656845 140731042660302 0
/proc/28116/statm: 6822 964 762 380 0 240 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27288
[startup+0.200334 s]
/proc/loadavg: 2.08 2.06 2.05 4/185 28116
/proc/meminfo: memFree=31549552/32770624 swapFree=0/309384
[pid=28116] ppid=28113 vsize=27288 CPUtime=0.12 cores=0,2,4,6
/proc/28116/stat : 28116 (cosoco) R 28113 28116 25100 0 -1 4202496 1141 0 0 0 12 0 0 0 20 0 1 0 50295413 27942912 964 18446744073709551615 4194304 5747388 140731042649920 140731042646568 4918782 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 8704000 140731042656750 140731042656845 140731042656845 140731042660302 0
/proc/28116/statm: 6822 964 762 380 0 240 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 27288
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28116 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.271548
CPU time (s): 0.198475
CPU user time (s): 0.196468
CPU system time (s): 0.002007
CPU usage (%): 73.0902
Max. virtual memory (cumulated for all children) (KiB): 27288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.196468
system time used= 0.002007
maximum resident set size= 4048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1172
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004514 second user time and 0.006772 second system time
The end
Begin job on node133 at 2017-08-06 14:52:34
IDJOB=4260097
IDBENCH=124758
IDSOLVER=2647
FILE ID=node133/4260097-1502024801
RUNJOBID= node133-1502014298-25934
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/Kakuro/Kakuro-sumdiff-easy/Kakuro-easy-164-sumdiff.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260097-1502024801/watcher-4260097-1502024801 -o /tmp/evaluation-result-4260097-1502024801/solver-4260097-1502024801 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260097-1502024801.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 4a4af9786305cf8d4bfcf0867b23fa60
RANDOM SEED=514552285
node133.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.17
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.17
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.17
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.17
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: 31549552 kB
MemAvailable: 31994296 kB
Buffers: 191540 kB
Cached: 544692 kB
SwapCached: 0 kB
Active: 466040 kB
Inactive: 334304 kB
Active(anon): 64080 kB
Inactive(anon): 24920 kB
Active(file): 401960 kB
Inactive(file): 309384 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2072 kB
Writeback: 0 kB
AnonPages: 63472 kB
Mapped: 40652 kB
Shmem: 25276 kB
Slab: 124784 kB
SReclaimable: 98468 kB
SUnreclaim: 26316 kB
KernelStack: 3328 kB
PageTables: 4900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 317272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 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: 132480 kB
DirectMap2M: 33413120 kB
Free space on /tmp at the end= 62028 MiB
End job on node133 at 2017-08-06 14:52:35