0.00/0.00 c root propagations : 9
0.00/0.00 c restarts enabled, print stats at every restarts
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4407955-1569801166.xml
0.00/0.00 c ========================================[ Problem Statistics ]===========================================
0.00/0.00 c |
0.00/0.00 c | Parse time : 0.00 s
0.00/0.00 c |
0.00/0.00 c | Variables: 49
0.00/0.00 c | Domain Sizes: 37..37
0.00/0.00 c |
0.00/0.00 c | Constraints: 28
0.00/0.00 c | Arity: 2..37 -- Binary: 6
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | (X - Y < k): 6
0.00/0.00 c | All Different: 1
0.00/0.00 c | Sum: 21
0.00/0.00 c |
0.00/0.00 c =========================================================================================================
0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.00 c remove useless variable x[0][4]
0.00/0.00 c remove useless variable x[0][5]
0.00/0.00 c remove useless variable x[0][6]
0.00/0.00 c remove useless variable x[1][5]
0.00/0.00 c remove useless variable x[1][6]
0.00/0.00 c remove useless variable x[2][6]
0.00/0.00 c remove useless variable x[4][6]
0.00/0.00 c remove useless variable x[5][5]
0.00/0.00 c remove useless variable x[5][6]
0.00/0.00 c remove useless variable x[6][4]
0.00/0.00 c remove useless variable x[6][5]
0.00/0.00 c remove useless variable x[6][6]
0.00/0.02 c 101 157 7641 20436 6 0 5 21 18
0.00/0.03 c 211 285 15661 49989 6 0 6 10 9
0.00/0.04 c 332 477 25168 80828 6 0 11 15 12
0.00/0.05 c 465 704 32872 105068 6 0 8 25 20
0.00/0.07 c 611 970 42408 128889 6 0 16 21 18
0.00/0.09 c 771 1270 51216 155757 6 0 16 24 21
0.10/0.11 c 947 1615 63851 195156 6 0 18 24 21
0.10/0.13 c 1140 1985 77980 239101 6 0 14 24 21
0.10/0.15 c 1352 2514 90056 278626 6 0 17 28 23
0.10/0.18 c 1585 2964 103117 321519 6 0 17 24 20
0.10/0.21 c 1841 3543 119506 371392 6 0 14 26 22
0.21/0.24 c 2122 4163 137169 440630 6 0 16 27 23
0.21/0.28 c 2431 4812 158564 516539 6 0 17 28 22
0.31/0.33 c 2770 5456 184796 597378 6 0 17 27 21
0.31/0.38 c 3142 6111 209031 691528 6 0 19 26 23
0.41/0.43 c 3551 6751 238270 766796 6 0 14 25 22
0.41/0.48 c 4000 7660 266016 870024 6 0 17 27 23
0.51/0.55 c 4493 8504 302041 1004289 6 0 14 25 20
0.60/0.63 c 5035 9673 340818 1135587 6 0 17 28 22
0.60/0.69 c 5631 10819 374104 1297603 6 0 17 26 22
0.69/0.77 c 6286 12090 413919 1459738 6 0 15 26 22
0.79/0.87 c 7006 13671 463737 1661313 6 0 11 27 22
0.89/0.96 c 7798 15293 511727 1843621 6 0 13 28 24
1.00/1.08 c 8669 16818 576387 2084735 6 0 12 26 20
1.10/1.18 c 9627 18770 630628 2291628 6 0 12 26 23
1.29/1.33 c 10680 20831 710769 2560023 6 0 13 25 20
1.39/1.49 c 11838 23008 793194 2832492 6 0 11 26 20
1.59/1.63 c 13111 25515 868134 3105429 6 0 17 28 23
1.79/1.81 c 14511 28374 960265 3441033 6 0 15 27 22
1.89/2.00 c 16051 31138 1054367 3839017 6 0 11 28 23
2.19/2.25 c 17745 33952 1181673 4331399 6 0 12 26 20
2.39/2.49 c 19608 37539 1299442 4848663 6 0 18 27 22
2.69/2.74 c 21657 42130 1431427 5346693 6 0 8 28 23
3.00/3.02 c 23910 46489 1571321 5908828 6 0 15 27 21
3.29/3.34 c 26388 51149 1733682 6527871 6 0 16 26 22
3.59/3.69 c 29113 55884 1901935 7300133 6 0 17 27 22
4.00/4.09 c 32110 61654 2107328 8079501 6 0 16 26 22
4.49/4.54 c 35406 67058 2348814 8978008 6 0 8 22 17
4.49/4.56 c First solution is found
4.49/4.56 s SATISFIABLE
4.49/4.56 c restarts : 38
4.49/4.56 c conflicts : 35523 (7789 /sec)
4.49/4.56 c decisions : 67390 (14776 /sec)
4.49/4.56 c propagations : 9005374 (1974483 /sec)
4.49/4.56 c root propagations : 9
4.49/4.56 c filter calls : 2359231 (517276 /sec)
4.49/4.56 c useless filter calls : 1064424 (45 %)
4.49/4.56 c Memory used : 26.72 MB
4.49/4.56 c CPU time : 4.56088 s
4.49/4.56 c real time : 4.55899 s
4.49/4.56
4.49/4.56 c solution 1
4.49/4.56
4.49/4.56 v <instantiation type='solution'>
4.49/4.56 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] </list>
4.49/4.56 v <values>-17 16 17 -16 * * * -1 -8 -5 8 6 * * 3 4 -10 5 -12 10 * 15 -9 11 7 -18 -6 0 -3 -15 -2 14 13 -7 * 2 12 1 -4 -11 * * -14 9 -13 18 * * * </values>
4.49/4.56 v </instantiation>
4.49/4.56
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 (15283 MiB free)
memory of node 1: 16384 MiB (15590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407955-1569801166/watcher-4407955-1569801166 -o /tmp/evaluation-result-4407955-1569801166/solver-4407955-1569801166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407955-1569801166.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
solver pid=28705, runsolver pid=28702
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614284/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=0.1 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1158 0 0 0 10 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102397112 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+0.209588 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614284/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=0.21 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1158 0 0 0 21 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102397112 5075928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+0.309089 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614284/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=0.31 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1158 0 0 0 31 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102397112 5149623 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614284/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=0.69 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1158 0 0 0 69 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102397112 5074400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614284/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=1.49 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1158 0 0 0 149 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102398536 5148683 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+3.10911 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614172/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=3.1 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1202 0 0 0 310 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102398536 5082735 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+4.56428 s]
# the end of solver process 28705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.56114 s, system=0.00109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20027 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614172/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3952 CPUtime=3.19 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1202 0 0 0 319 0 0 0 20 0 1 0 556372941 28012544 988 33554432000 4194304 6211132 140722102400576 140722102398536 5082243 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 988 884 493 0 144 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3952 KiB
[startup+4.00025 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614172/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3984 CPUtime=4 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1230 0 0 0 400 0 0 0 20 0 1 0 556372941 28012544 996 33554432000 4194304 6211132 140722102400576 140722102398536 5076483 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 996 891 493 0 144 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB
[startup+4.40025 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614172/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3984 CPUtime=4.39 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1246 0 0 0 439 0 0 0 20 0 1 0 556372941 28012544 996 33554432000 4194304 6211132 140722102400576 140722102398536 5150194 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 996 891 493 0 144 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB
[startup+4.50025 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 28706
/proc/meminfo: memFree=31614172/32770624 swapFree=66986684/67108860
[pid=28705] ppid=28702 vsize=27356 memory=3984 CPUtime=4.49 cores=1,3,5,7
/proc/28705/stat : 28705 (cosoco) R 28702 28705 25075 0 -1 4202496 1246 0 0 0 449 0 0 0 20 0 1 0 556372941 28012544 996 33554432000 4194304 6211132 140722102400576 140722102398536 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33341440 140722102404107 140722102404209 140722102404209 140722102407118 0
/proc/28705/statm: 6839 996 891 493 0 144 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB
Child status: 0
Real time (s): 4.56642
CPU time (s): 4.56223
CPU user time (s): 4.56114
CPU system time (s): 0.00109
CPU usage (%): 99.9083
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.56114
system time used= 0.00109
maximum resident set size= 4052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1285
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= 14
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 28705
# total CPU time (s): 4.56223
# total CPU user time (s): 4.56114
# total CPU system time (s): 0.00109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033266 second user time and 0.075888 second system time
The end
Begin job on node104 at 2019-09-30 00:42:20
IDJOB=4407955
IDBENCH=133653
IDSOLVER=2874
FILE ID=node104/4407955-1569801166
RUNJOBID= node104-1569783168-25107
PBS_JOBID= 21705839
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-04-m018.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407955-1569801166/watcher-4407955-1569801166 -o /tmp/evaluation-result-4407955-1569801166/solver-4407955-1569801166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407955-1569801166.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e
RANDOM SEED=897831377
node104.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 : 5334.09
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 : 5334.09
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 : 5334.09
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 : 5334.09
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: 31614288 kB
MemAvailable: 31838460 kB
Buffers: 195820 kB
Cached: 358348 kB
SwapCached: 22760 kB
Active: 297268 kB
Inactive: 285020 kB
Active(anon): 19284 kB
Inactive(anon): 91348 kB
Active(file): 277984 kB
Inactive(file): 193672 kB
Unevictable: 109640 kB
Mlocked: 109640 kB
SwapTotal: 67108860 kB
SwapFree: 66986684 kB
Dirty: 2768 kB
Writeback: 0 kB
AnonPages: 116720 kB
Mapped: 28112 kB
Shmem: 73632 kB
Slab: 166776 kB
SReclaimable: 136700 kB
SUnreclaim: 30076 kB
KernelStack: 3552 kB
PageTables: 5556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 561952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 62024 MiB
End job on node104 at 2019-09-30 00:42:24