0.00/0.10 c root propagations : 455
0.00/0.10 c restarts enabled, print stats at every restarts
0.00/0.10 c
0.00/0.10 c
0.00/0.10 c
0.00/0.10 c This is cosoco 1.12 --
0.00/0.10 c
0.00/0.10 c command line: cosoco -lc -model -restarts HOME/instance-4268021-1502506831.xml
0.00/0.10 c ========================================[ Problem Statistics ]===========================================
0.00/0.10 c |
0.00/0.10 c | Parse time : 0.01 s
0.00/0.10 c |
0.00/0.10 c | Variables: 256
0.00/0.10 c | Domain Sizes: 9..9
0.00/0.10 c |
0.00/0.10 c | Constraints: 176
0.00/0.10 c | Arity: 2..7 -- Binary: 48 -- Ternary: 24
0.00/0.10 c |
0.00/0.10 c | Types:
0.00/0.10 c | All Different: 88
0.00/0.10 c | Sum: 88
0.00/0.10 c |
0.00/0.10 c =========================================================================================================
0.00/0.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.10 c remove useless variable x[0][0]
0.00/0.10 c remove useless variable x[0][1]
0.00/0.10 c remove useless variable x[0][2]
0.00/0.10 c remove useless variable x[0][3]
0.00/0.10 c remove useless variable x[0][4]
0.00/0.10 c remove useless variable x[0][5]
0.00/0.10 c remove useless variable x[0][6]
0.00/0.10 c remove useless variable x[0][7]
0.00/0.10 c remove useless variable x[0][8]
0.00/0.10 c remove useless variable x[0][9]
0.00/0.10 c remove useless variable x[0][10]
0.00/0.10 c remove useless variable x[0][11]
0.00/0.10 c remove useless variable x[0][12]
0.00/0.10 c remove useless variable x[0][13]
0.00/0.10 c remove useless variable x[0][14]
0.00/0.10 c remove useless variable x[0][15]
0.00/0.10 c remove useless variable x[1][0]
0.00/0.10 c remove useless variable x[1][1]
0.00/0.10 c remove useless variable x[1][5]
0.00/0.10 c remove useless variable x[1][6]
0.00/0.10 c remove useless variable x[1][10]
0.00/0.10 c remove useless variable x[1][13]
0.00/0.10 c remove useless variable x[1][14]
0.00/0.10 c remove useless variable x[1][15]
0.00/0.10 c remove useless variable x[2][0]
0.00/0.10 c remove useless variable x[2][1]
0.00/0.10 c remove useless variable x[2][6]
0.00/0.10 c remove useless variable x[2][13]
0.00/0.10 c remove useless variable x[3][0]
0.00/0.10 c remove useless variable x[3][1]
0.00/0.10 c remove useless variable x[3][2]
0.00/0.10 c remove useless variable x[3][7]
0.00/0.10 c remove useless variable x[3][11]
0.00/0.10 c remove useless variable x[4][0]
0.00/0.10 c remove useless variable x[4][7]
0.00/0.10 c remove useless variable x[4][10]
0.00/0.10 c remove useless variable x[5][0]
0.00/0.10 c remove useless variable x[5][3]
0.00/0.10 c remove useless variable x[5][9]
0.00/0.10 c remove useless variable x[5][15]
0.00/0.10 c remove useless variable x[6][0]
0.00/0.10 c remove useless variable x[6][1]
0.00/0.10 c remove useless variable x[6][4]
0.00/0.10 c remove useless variable x[6][9]
0.00/0.10 c remove useless variable x[6][14]
0.00/0.10 c remove useless variable x[6][15]
0.00/0.10 c remove useless variable x[7][0]
0.00/0.10 c remove useless variable x[7][5]
0.00/0.10 c remove useless variable x[7][6]
0.00/0.10 c remove useless variable x[7][12]
0.00/0.10 c remove useless variable x[7][13]
0.00/0.10 c remove useless variable x[8][0]
0.00/0.10 c remove useless variable x[8][8]
0.00/0.10 c remove useless variable x[9][0]
0.00/0.10 c remove useless variable x[9][3]
0.00/0.10 c remove useless variable x[9][4]
0.00/0.10 c remove useless variable x[9][10]
0.00/0.10 c remove useless variable x[9][11]
0.00/0.10 c remove useless variable x[10][0]
0.00/0.10 c remove useless variable x[10][1]
0.00/0.10 c remove useless variable x[10][2]
0.00/0.10 c remove useless variable x[10][7]
0.00/0.10 c remove useless variable x[10][12]
0.00/0.10 c remove useless variable x[10][15]
0.00/0.10 c remove useless variable x[11][0]
0.00/0.10 c remove useless variable x[11][1]
0.00/0.10 c remove useless variable x[11][7]
0.00/0.10 c remove useless variable x[11][13]
0.00/0.10 c remove useless variable x[12][0]
0.00/0.10 c remove useless variable x[12][6]
0.00/0.10 c remove useless variable x[12][9]
0.00/0.10 c remove useless variable x[13][0]
0.00/0.10 c remove useless variable x[13][5]
0.00/0.10 c remove useless variable x[13][9]
0.00/0.10 c remove useless variable x[13][14]
0.00/0.10 c remove useless variable x[13][15]
0.00/0.10 c remove useless variable x[14][0]
0.00/0.10 c remove useless variable x[14][3]
0.00/0.10 c remove useless variable x[14][10]
0.00/0.10 c remove useless variable x[14][15]
0.00/0.10 c remove useless variable x[15][0]
0.00/0.10 c remove useless variable x[15][1]
0.00/0.10 c remove useless variable x[15][2]
0.00/0.10 c remove useless variable x[15][3]
0.00/0.10 c remove useless variable x[15][6]
0.00/0.10 c remove useless variable x[15][10]
0.00/0.10 c remove useless variable x[15][11]
0.00/0.10 c remove useless variable x[15][15]
0.00/0.11 c 101 369 6622 6134 115 0 25 109 75
0.00/0.11 c 211 775 12135 10947 115 0 5 92 40
0.00/0.11 c 332 1350 18689 16533 115 0 4 93 44
0.00/0.12 c 465 1780 25907 22976 116 0 1 45 15
0.00/0.12 c 611 2395 34351 30064 116 0 1 102 41
0.00/0.13 c 771 3115 44637 38430 116 0 3 68 48
0.00/0.13 c 947 3613 52366 46472 116 0 1 60 35
0.00/0.14 c 1140 4233 62443 56314 117 0 1 27 15
0.00/0.14 c 1352 4718 69209 62507 117 0 1 22 15
0.00/0.15 c 1585 5412 80648 72968 118 0 1 23 12
0.00/0.15 c 1841 6053 90925 83488 119 0 3 23 17
0.00/0.16 c 2122 7273 110260 100149 119 0 3 40 28
0.00/0.17 c 2431 8200 125591 114226 119 0 3 30 13
0.00/0.18 c 2770 9539 144701 129470 119 0 3 35 21
0.00/0.19 c 3142 10582 161982 144368 119 0 1 31 14
0.10/0.20 c 3551 11596 179202 158501 120 0 1 32 9
0.10/0.21 c 4000 12930 198992 175653 120 0 1 32 13
0.10/0.22 c 4493 14607 224873 198092 120 0 3 30 14
0.10/0.24 c 5035 16786 260832 228928 120 0 2 37 14
0.10/0.27 c 5631 19519 303292 263568 123 0 1 41 14
0.10/0.29 c 6286 22106 342952 297771 124 0 3 108 28
0.10/0.29 c solution 1
0.10/0.29
0.10/0.29 v <instantiation type='solution'>
0.10/0.29 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.10/0.29 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.10/0.29 v </instantiation>
0.10/0.29
0.10/0.29 c restarts : 21
0.10/0.29 c conflicts : 6379 (32403 /sec)
0.10/0.29 c decisions : 22673 (115169 /sec)
0.10/0.29 c propagations : 303722 (1542778 /sec)
0.10/0.29 c root propagations : 455
0.10/0.29 c filter calls : 350217 (1778952 /sec)
0.10/0.29 c useless filter calls : 231611 (66 %)
0.10/0.29 c Memory used : 26.87 MB
0.10/0.29 c CPU time : 0.196867 s
0.10/0.29
0.10/0.29 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-4268021-1502506831/watcher-4268021-1502506831 -o /tmp/evaluation-result-4268021-1502506831/solver-4268021-1502506831 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268021-1502506831.xml
pid=27021
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.80 1.95 1.86 1/181 27024
/proc/meminfo: memFree=31000380/32770624 swapFree=0/582908
[pid=27024] ppid=27021 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (runsolver) D 27021 27024 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98189409 24240128 108 18446744073709551615 4194304 4338465 140725535932624 140725535930264 140266529133271 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 30355456 140725535936705 140725535937097 140725535937097 140725535940554 0
/proc/27024/statm: 5918 108 54 36 0 2156 0
[startup+0.100132 s]
/proc/loadavg: 1.80 1.95 1.86 1/181 27024
/proc/meminfo: memFree=31000380/32770624 swapFree=0/582908
[pid=27024] ppid=27021 vsize=26916 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (cosoco) R 27021 27024 24445 0 -1 4194304 620 0 0 0 0 0 0 0 20 0 1 0 98189409 27561984 486 18446744073709551615 4194304 5972588 140726606015952 140726606012600 140513388381920 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 36220928 140726606017006 140726606017101 140726606017101 140726606020558 0
/proc/27024/statm: 6729 486 438 435 0 60 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26916
[startup+0.200215 s]
/proc/loadavg: 1.80 1.95 1.86 1/181 27024
/proc/meminfo: memFree=31000380/32770624 swapFree=0/582908
[pid=27024] ppid=27021 vsize=27508 CPUtime=0.1 cores=1,3,5,7
/proc/27024/stat : 27024 (cosoco) R 27021 27024 24445 0 -1 4202496 1157 0 0 0 10 0 0 0 20 0 1 0 98189409 28168192 978 18446744073709551615 4194304 5972588 140726606015952 140726606012600 4978304 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 36220928 140726606017006 140726606017101 140726606017101 140726606020558 0
/proc/27024/statm: 6877 978 776 435 0 240 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27508
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27024 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.295904
CPU time (s): 0.198123
CPU user time (s): 0.196867
CPU system time (s): 0.001256
CPU usage (%): 66.9551
Max. virtual memory (cumulated for all children) (KiB): 27508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.196867
system time used= 0.001256
maximum resident set size= 4108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1187
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
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.002424 second user time and 0.008484 second system time
The end
Begin job on node134 at 2017-08-12 04:46:35
IDJOB=4268021
IDBENCH=124758
IDSOLVER=2658
FILE ID=node134/4268021-1502506831
RUNJOBID= node134-1502500343-24509
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 1.12
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-4268021-1502506831/watcher-4268021-1502506831 -o /tmp/evaluation-result-4268021-1502506831/solver-4268021-1502506831 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268021-1502506831.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 4a4af9786305cf8d4bfcf0867b23fa60
RANDOM SEED=787216046
node134.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.43
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.43
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.43
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.43
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: 31000120 kB
MemAvailable: 31973728 kB
Buffers: 298548 kB
Cached: 975604 kB
SwapCached: 0 kB
Active: 710472 kB
Inactive: 622576 kB
Active(anon): 60868 kB
Inactive(anon): 39408 kB
Active(file): 649604 kB
Inactive(file): 583168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 5100 kB
Writeback: 0 kB
AnonPages: 57668 kB
Mapped: 52520 kB
Shmem: 41660 kB
Slab: 139644 kB
SReclaimable: 113340 kB
SUnreclaim: 26304 kB
KernelStack: 3200 kB
PageTables: 4892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 101760 kB
DirectMap2M: 33443840 kB
Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-12 04:46:36