0.00/0.02 c SAT : Variables: 4600 -- Clauses: 103600
0.00/0.02 c root propagations : 463
0.00/0.02 c restarts enabled, print stats at every restarts
0.00/0.02 c
0.00/0.02 c
0.00/0.02 c
0.00/0.02 c This is cosoco 1.0 --
0.00/0.02 c
0.00/0.02 c ========================================[ Problem Statistics ]===========================================
0.00/0.02 c |
0.00/0.02 c | Parse time : 0.02 s
0.00/0.02 c |
0.00/0.02 c | Variables: 100
0.00/0.02 c | Domain Sizes: 46..46
0.00/0.02 c |
0.00/0.02 c | Constraints: 20
0.00/0.02 c | Arity: 3..7 -- Ternary: 4
0.00/0.02 c |
0.00/0.02 c | Types:
0.00/0.02 c | Sum: 20
0.00/0.02 c |
0.00/0.02 c =========================================================================================================
0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.02 c remove useless variable x[2]
0.00/0.02 c remove useless variable x[3]
0.00/0.02 c remove useless variable x[4]
0.00/0.02 c remove useless variable x[9]
0.00/0.02 c remove useless variable x[10]
0.00/0.02 c remove useless variable x[11]
0.00/0.02 c remove useless variable x[18]
0.00/0.02 c remove useless variable x[19]
0.00/0.02 c remove useless variable x[23]
0.00/0.02 c remove useless variable x[24]
0.00/0.02 c remove useless variable x[26]
0.00/0.02 c remove useless variable x[32]
0.00/0.02 c remove useless variable x[34]
0.00/0.02 c remove useless variable x[35]
0.00/0.02 c remove useless variable x[37]
0.00/0.02 c remove useless variable x[41]
0.00/0.02 c remove useless variable x[45]
0.00/0.02 c remove useless variable x[47]
0.00/0.02 c remove useless variable x[52]
0.00/0.02 c remove useless variable x[54]
0.00/0.02 c remove useless variable x[55]
0.00/0.02 c remove useless variable x[57]
0.00/0.02 c remove useless variable x[59]
0.00/0.02 c remove useless variable x[60]
0.00/0.02 c remove useless variable x[61]
0.00/0.02 c remove useless variable x[63]
0.00/0.02 c remove useless variable x[65]
0.00/0.02 c remove useless variable x[66]
0.00/0.02 c remove useless variable x[67]
0.00/0.02 c remove useless variable x[71]
0.00/0.02 c remove useless variable x[73]
0.00/0.02 c remove useless variable x[75]
0.00/0.02 c remove useless variable x[77]
0.00/0.02 c remove useless variable x[80]
0.00/0.02 c remove useless variable x[82]
0.00/0.02 c remove useless variable x[83]
0.00/0.02 c remove useless variable x[98]
0.00/0.02 c 10 43 191 2459 19 10 9 33 16
0.00/0.02 c 20 55 444 5434 20 17 1 2 1
0.00/0.02 c 30 80 542 6657 20 25 1 16 5
0.00/0.02 c 40 105 672 7668 20 31 12 13 11
0.00/0.02 c 50 136 854 9370 20 36 5 14 10
0.00/0.02 c 60 162 1070 11513 20 45 1 12 9
0.00/0.02 c 70 218 1285 14390 20 55 23 45 32
0.00/0.02 c 80 249 1406 15574 20 59 14 18 14
0.00/0.02 c 90 263 1737 19053 21 68 1 5 3
0.00/0.02 c 100 307 1905 21162 21 78 35 35 31
0.00/0.02 c 101 314 1956 21815 21 79 7 7 3
0.00/0.02 c 110 333 2104 23934 21 82 1 9 3
0.00/0.02 c 120 368 2243 25725 21 92 26 26 23
0.00/0.02 c 130 402 2383 27018 21 99 13 17 13
0.00/0.02 c 140 449 2540 28558 21 109 9 38 19
0.00/0.02 c 150 483 2726 29873 21 115 13 17 13
0.00/0.03 c 160 506 2929 30894 21 121 2 5 3
0.00/0.03 c 170 535 3047 32124 21 128 1 16 7
0.00/0.03 c 180 555 3293 34594 21 138 5 11 5
0.00/0.03 c 190 577 3493 35513 21 144 3 5 4
0.00/0.03 c 200 603 3604 36551 21 152 12 16 12
0.00/0.03 c 210 665 3780 39043 21 162 26 53 32
0.00/0.03 c 211 682 3853 39763 21 163 17 17 8
0.00/0.03 c 220 713 3960 41346 21 172 23 23 20
0.00/0.03 c 230 750 4134 43051 21 180 17 27 16
0.00/0.03 c 240 783 4285 44509 21 187 17 23 16
0.00/0.03 c 250 836 4511 46297 21 197 27 44 29
0.00/0.03 c 260 870 4735 47749 21 204 17 24 16
0.00/0.03 c 270 903 4924 49333 21 211 17 23 16
0.00/0.03 c 280 950 5081 51172 21 221 23 38 27
0.00/0.03 c solution 1
0.00/0.03
0.00/0.03 v <instantiation type='solution'>
0.00/0.03 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
0.00/0.03 v <values>27 44 * * * 16 14 41 21 * * * 2 34 2 2 30 8 * * 45 12 2 * * 45 * 40 2 37 47 43 * 6 * * 46 * 7 39 25 * 2 43 47 * 2 * 3 30 24 4 * 46 * * 15 * 46 * * * 45 * 47 * * * 46 4 47 * 47 * 47 * 43 * 34 16 * 2 * * 13 12 7 42 42 46 46 7 22 2 2 2 6 11 * 39 </values>
0.00/0.03 v </instantiation>
0.00/0.03
0.00/0.03 c restarts : 30
0.00/0.03 c conflicts : 286 (8535 /sec)
0.00/0.03 c decisions : 1019 (30409 /sec)
0.00/0.03 c propagations : 53726 (1603283 /sec)
0.00/0.03 c root propagations : 463
0.00/0.03 c filter calls : 5313 (158550 /sec)
0.00/0.03 c useless filter calls : 2951 (55 %)
0.00/0.03 c
0.00/0.03 c clauses : 103806
0.00/0.03 c SAT propagations : 317
0.00/0.03 c SAT conflicts : 0 (0 learnts)
0.00/0.03 c Memory used : 33.84 MB
0.00/0.03 c CPU time : 0.033453 s
0.00/0.03
0.00/0.03 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-4242129-1500655384/watcher-4242129-1500655384 -o /tmp/evaluation-result-4242129-1500655384/solver-4242129-1500655384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242129-1500655384.xml
pid=10666
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.04 3/260 10669
/proc/meminfo: memFree=32011680/32770624 swapFree=5760/195616
[pid=10669] ppid=10666 vsize=32412 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10669/stat : 10669 (cosoco) R 10666 10669 9829 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 1 0 803749 33189888 1607 33554432000 4194304 5970956 140727341412016 140727341408616 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22495232 140727341413564 140727341413699 140727341413699 140727341416398 0
/proc/10669/statm: 8103 1607 762 434 0 1467 0
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10669 sig 9
??? kill -10669 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.037014
CPU time (s): 0.036521
CPU user time (s): 0.03351
CPU system time (s): 0.003011
CPU usage (%): 98.6682
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.03351
system time used= 0.003011
maximum resident set size= 8940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1885
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= 3
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.003104 second user time and 0.014488 second system time
The end
Begin job on node146 at 2017-07-21 18:43:04
IDJOB=4242129
IDBENCH=133383
IDSOLVER=2621
FILE ID=node146/4242129-1500655384
RUNJOBID= node146-1500648174-9860
PBS_JOBID= 20623275
Free space on /tmp= 61792 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-20-2-5.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242129-1500655384/watcher-4242129-1500655384 -o /tmp/evaluation-result-4242129-1500655384/solver-4242129-1500655384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242129-1500655384.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= 5c2f9b3786fd2492c99150ec9cf810b1
RANDOM SEED=71899087
node146.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.96
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 : 1600.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.96
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 : 1733.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 : 1600.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.96
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 : 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 : 1600.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.96
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 : 1733.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 : 2267.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.96
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.96
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 : 1600.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.96
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 : 2000.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 : 1600.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.96
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: 32013204 kB
MemAvailable: 32006988 kB
Buffers: 39216 kB
Cached: 265096 kB
SwapCached: 0 kB
Active: 179040 kB
Inactive: 204468 kB
Active(anon): 81932 kB
Inactive(anon): 8852 kB
Active(file): 97108 kB
Inactive(file): 195616 kB
Unevictable: 5760 kB
Mlocked: 5792 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 4864 kB
Writeback: 0 kB
AnonPages: 91568 kB
Mapped: 41936 kB
Shmem: 8852 kB
Slab: 65676 kB
SReclaimable: 33788 kB
SUnreclaim: 31888 kB
KernelStack: 4832 kB
PageTables: 4808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 1165248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61788 MiB
End job on node146 at 2017-07-21 18:43:04