0.00/0.01 c SAT : Variables: 512 -- Clauses: 888
0.00/0.01 c root propagations : 10
0.00/0.01 c restarts enabled, print stats at every restarts
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c This is cosoco 1.0 --
0.00/0.01 c
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.01 s
0.00/0.01 c |
0.00/0.01 c | Variables: 141
0.00/0.01 c | Domain Sizes: 1..6
0.00/0.01 c |
0.00/0.01 c | Constraints: 36
0.00/0.01 c | Arity: 7..8
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | All Different: 36
0.00/0.01 c |
0.00/0.01 c =========================================================================================================
0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.01 c 10 72 335 446 10 3 7 48 19
0.00/0.01 c 20 159 917 1492 12 4 10 42 22
0.00/0.01 c 30 217 1551 2851 12 6 22 38 30
0.00/0.02 c 40 304 2096 3794 12 8 21 40 26
0.00/0.02 c 50 396 2794 5215 12 10 5 44 23
0.00/0.02 c 60 512 3494 6423 12 15 22 63 41
0.00/0.02 c 70 560 3925 7205 12 19 13 23 15
0.00/0.03 c 80 647 4396 7958 12 23 17 64 38
0.00/0.03 c 90 789 5047 8987 12 28 12 60 39
0.00/0.03 c 100 836 5409 9726 12 31 4 24 17
0.00/0.03 c 101 858 5518 9850 12 32 22 22 11
0.00/0.03 c 110 924 5888 10475 12 38 8 53 33
0.00/0.03 c 120 989 6370 11537 12 42 9 33 20
0.00/0.04 c 130 1057 6828 12444 12 47 21 33 26
0.00/0.04 c 140 1143 7232 13050 12 50 20 39 28
0.00/0.04 c 150 1218 7747 14051 12 52 12 31 24
0.00/0.04 c 160 1310 8292 14969 12 55 15 45 29
0.00/0.04 c 170 1370 8563 15353 13 63 1 39 22
0.00/0.04 c 180 1439 8954 15899 13 68 6 45 31
0.00/0.04 c 190 1495 9234 16297 13 76 6 40 26
0.00/0.05 c 200 1575 9658 17005 13 80 17 44 32
0.00/0.05 c 210 1646 10114 17780 13 81 19 39 30
0.00/0.05 c 211 1650 10129 17802 13 82 4 4 2
0.00/0.05 c 220 1709 10469 18364 13 85 11 32 18
0.00/0.05 c 230 1770 10764 18786 14 92 1 36 22
0.00/0.05 c 240 1822 11022 19216 14 100 20 35 27
0.00/0.05 c 250 1921 11613 20130 14 103 24 49 35
0.00/0.05 c 260 1968 11911 20725 14 105 20 26 21
0.00/0.06 c 270 2035 12346 21462 16 109 1 39 24
0.00/0.06 c 280 2105 12702 21958 16 119 18 52 36
0.00/0.06 c 290 2164 13042 22567 16 124 14 42 27
0.00/0.06 c 300 2237 13522 23374 16 134 12 50 32
0.00/0.06 c 310 2351 14056 24126 17 136 14 39 21
0.00/0.06 c 320 2400 14262 24484 17 143 12 32 23
0.00/0.06 c 330 2460 14614 25047 17 148 24 51 37
0.00/0.06 c 332 2476 14681 25125 17 150 12 14 8
0.00/0.06 c 340 2529 14921 25484 17 155 18 38 24
0.00/0.07 c 350 2603 15333 26147 17 159 16 47 33
0.00/0.07 c 360 2668 15692 26705 17 166 18 45 28
0.00/0.07 c 370 2717 15922 27039 17 170 12 28 21
0.00/0.07 c 380 2780 16239 27530 17 176 12 39 26
0.00/0.07 c 390 2856 16685 28271 17 182 18 45 30
0.00/0.07 c 400 2932 17078 28902 17 185 21 49 34
0.00/0.07 c 410 3029 17671 29919 17 190 20 49 30
0.00/0.08 c 420 3107 18128 30672 17 196 17 45 27
0.00/0.08 c 430 3154 18440 31205 17 199 20 28 23
0.00/0.08 c 440 3241 18957 32032 17 204 12 54 26
0.00/0.08 c 450 3329 19530 33033 17 211 16 50 31
0.00/0.08 c 460 3396 19999 33821 18 213 7 39 27
0.00/0.08 c 465 3446 20364 34412 18 216 22 30 21
0.00/0.08 c 470 3515 20698 34821 18 221 27 57 34
0.00/0.08 c 480 3606 21170 35514 18 225 21 49 30
0.00/0.09 c 490 3698 21609 36101 18 229 12 45 28
0.00/0.09 c 500 3782 22117 37037 18 233 9 54 33
0.00/0.09 c 510 3857 22605 37869 18 237 16 48 33
0.00/0.09 c 520 3940 23193 38981 18 240 9 56 35
0.00/0.09 c 530 4056 23957 40374 18 243 29 50 39
0.00/0.10 c 540 4131 24479 41365 18 248 9 47 34
0.09/0.10 c 550 4248 25078 42207 18 250 11 33 21
0.09/0.10 c 560 4319 25568 43180 18 253 8 46 33
0.09/0.10 c 570 4365 25856 43585 18 255 15 21 16
0.09/0.10 c solution 1
0.09/0.10
0.09/0.10 v <instantiation type='solution'>
0.09/0.10 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 </list>
0.09/0.10 v <values>17 1 14 5 11 12 4 2 8 11 2 9 0 10 16 17 1 9 4 10 15 17 8 8 14 9 0 7 4 2 3 15 13 8 17 1 12 11 5 11 4 7 13 6 12 0 1 3 14 10 2 0 16 7 11 10 1 15 3 4 11 12 16 5 2 16 9 6 3 0 11 0 8 13 17 5 1 15 6 12 2 8 3 6 10 15 6 15 12 3 4 10 7 1 16 3 15 2 4 8 17 1 2 10 4 5 9 6 16 0 15 16 5 6 0 17 7 9 17 8 4 9 16 11 2 3 5 13 7 1 3 9 0 8 6 16 8 17 9 12 11 </values>
0.09/0.10 v </instantiation>
0.09/0.10
0.09/0.10 c restarts : 61
0.09/0.10 c conflicts : 578 (5617 /sec)
0.09/0.10 c decisions : 4534 (44063 /sec)
0.09/0.10 c propagations : 44359 (431101 /sec)
0.09/0.10 c root propagations : 10
0.09/0.10 c filter calls : 26475 (257296 /sec)
0.09/0.10 c useless filter calls : 15731 (59 %)
0.09/0.10 c
0.09/0.10 c clauses : 1142
0.09/0.10 c SAT propagations : 68
0.09/0.10 c SAT conflicts : 8 (0 learnts)
0.09/0.10 c Memory used : 31.00 MB
0.09/0.10 c CPU time : 0.10285 s
0.09/0.10
0.09/0.10 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-4243138-1500667389/watcher-4243138-1500667389 -o /tmp/evaluation-result-4243138-1500667389/solver-4243138-1500667389 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243138-1500667389.xml
pid=11987
running on 8 cores: 0,2,4,6,8,10,12,14
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.00 2.01 2.05 2/244 11990
/proc/meminfo: memFree=32016156/32770624 swapFree=5760/199328
[pid=11990] ppid=11987 vsize=27256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11990/stat : 11990 (cosoco) R 11987 11990 9821 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 1 0 2005126 27910144 831 33554432000 4194304 5970956 140729544605920 140729544602568 140188940798880 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20742144 140729544606908 140729544607043 140729544607043 140729544609742 0
/proc/11990/statm: 6814 831 714 434 0 178 0
[startup+0.100122 s]
/proc/loadavg: 2.00 2.01 2.05 2/244 11990
/proc/meminfo: memFree=32016156/32770624 swapFree=5760/199328
[pid=11990] ppid=11987 vsize=31744 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11990/stat : 11990 (cosoco) R 11987 11990 9821 0 -1 4202496 1150 0 0 0 9 0 0 0 20 0 1 0 2005126 32505856 963 33554432000 4194304 5970956 140729544605920 140729544603256 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20742144 140729544606908 140729544607043 140729544607043 140729544609742 0
/proc/11990/statm: 7936 963 790 434 0 1300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31744
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11990 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.100122 s]
/proc/loadavg: 2.00 2.01 2.05 2/244 11990
/proc/meminfo: memFree=32016156/32770624 swapFree=5760/199328
[pid=11990] ppid=11987 vsize=31744 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11990/stat : 11990 (cosoco) R 11987 11990 9821 0 -1 4202496 1150 0 0 0 9 0 0 0 20 0 1 0 2005126 32505856 963 33554432000 4194304 5970956 140729544605920 140729544603256 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20742144 140729544606908 140729544607043 140729544607043 140729544609742 0
/proc/11990/statm: 7936 963 790 434 0 1300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31744
Child status: 0
Real time (s): 0.105727
CPU time (s): 0.105175
CPU user time (s): 0.103146
CPU system time (s): 0.002029
CPU usage (%): 99.4779
Max. virtual memory (cumulated for all children) (KiB): 31744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.103146
system time used= 0.002029
maximum resident set size= 4064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178
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= 6
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016741 second user time and 0.00558 second system time
The end
Begin job on node143 at 2017-07-21 22:03:09
IDJOB=4243138
IDBENCH=139047
IDSOLVER=2621
FILE ID=node143/4243138-1500667389
RUNJOBID= node143-1500648173-9852
PBS_JOBID= 20623278
Free space on /tmp= 61988 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh18-141/bqwh-18-141-83_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243138-1500667389/watcher-4243138-1500667389 -o /tmp/evaluation-result-4243138-1500667389/solver-4243138-1500667389 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243138-1500667389.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= 5f6a68e2f4133a0c729ef851544e7957
RANDOM SEED=1101415197
node143.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 : 8
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.69
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 : 8
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 : 1867.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.69
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 : 8
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 : 1867.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.69
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 : 8
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 : 2133.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.69
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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1733.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
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.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
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 : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
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 : 10
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 : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
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.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
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 : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
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 : 12
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 : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
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.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
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 : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
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 : 14
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 : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
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.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
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 : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
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: 32016212 kB
MemAvailable: 32016252 kB
Buffers: 37760 kB
Cached: 272584 kB
SwapCached: 0 kB
Active: 171948 kB
Inactive: 208072 kB
Active(anon): 72628 kB
Inactive(anon): 8744 kB
Active(file): 99320 kB
Inactive(file): 199328 kB
Unevictable: 5760 kB
Mlocked: 5760 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2500 kB
Writeback: 0 kB
AnonPages: 65196 kB
Mapped: 31700 kB
Shmem: 8852 kB
Slab: 66232 kB
SReclaimable: 34452 kB
SUnreclaim: 31780 kB
KernelStack: 4576 kB
PageTables: 5108 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 339980 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: 155008 kB
DirectMap2M: 33390592 kB
Free space on /tmp at the end= 61988 MiB
End job on node143 at 2017-07-21 22:03:09