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 (5060 MiB free)
memory of node 1: 16384 MiB (3144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306163-1534088926/watcher-4306163-1534088926 -o /tmp/evaluation-result-4306163-1534088926/solver-4306163-1534088926 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534062958-15435 --watchdog 2580 BTD 12 2520 HOME/instance-4306163-1534088926.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=19985, runsolver pid=19982
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8392544/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=40776 memory=10804 CPUtime=0.1 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 2839 0 0 0 10 0 0 0 20 0 1 0 226455796 41754624 2701 33554432000 4194304 36388936 140725995406912 140725995406912 4575106 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10194 2701 492 7861 0 2298 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40776 KiB
Current children cumulated memory: 10804 KiB
[startup+0.21258 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8392544/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=40776 memory=10804 CPUtime=0.21 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 2862 0 0 0 21 0 0 0 20 0 1 0 226455796 41754624 2701 33554432000 4194304 36388936 140725995406912 140725995406912 4585232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10194 2701 492 7861 0 2298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40776 KiB
Current children cumulated memory: 10804 KiB
[startup+0.309434 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8392544/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=40908 memory=10804 CPUtime=0.31 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 2872 0 0 0 31 0 0 0 20 0 1 0 226455796 41889792 2701 33554432000 4194304 36388936 140725995406912 140725995406912 4587775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10227 2701 492 7861 0 2331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40908 KiB
Current children cumulated memory: 10804 KiB
[startup+0.70029 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8392544/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41180 memory=11068 CPUtime=0.69 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 2946 0 0 0 69 0 0 0 20 0 1 0 226455796 42168320 2767 33554432000 4194304 36388936 140725995406912 140725995406912 4587538 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10295 2767 505 7861 0 2399 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 11068 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8392180/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41316 memory=11332 CPUtime=1.49 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 2968 0 0 0 148 1 0 0 20 0 1 0 226455796 42307584 2833 33554432000 4194304 36388936 140725995406912 140725995405752 4585243 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10329 2833 505 7861 0 2433 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 11332 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8391940/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41316 memory=11456 CPUtime=3.1 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 5048 0 0 0 309 1 0 0 20 0 1 0 226455796 42307584 2864 33554432000 4194304 36388936 140725995406912 140725995405752 4585232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10329 2864 505 7861 0 2433 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 11456 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8391884/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41452 memory=11528 CPUtime=6.29 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 7367 0 0 0 627 2 0 0 20 0 1 0 226455796 42446848 2882 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10363 2882 505 7861 0 2467 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 11528 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 19986
/proc/meminfo: memFree=8391760/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41588 memory=11564 CPUtime=12.69 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 9603 0 0 0 1266 3 0 0 20 0 1 0 226455796 42586112 2891 33554432000 4194304 36388936 140725995406912 140725995405752 4420413 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10397 2891 505 7861 0 2501 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41588 KiB
Current children cumulated memory: 11564 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 19986
/proc/meminfo: memFree=8391576/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41588 memory=11680 CPUtime=25.49 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 14036 0 0 0 2544 5 0 0 20 0 1 0 226455796 42586112 2920 33554432000 4194304 36388936 140725995406912 140725995405752 4420436 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10397 2920 505 7861 0 2501 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 41588 KiB
Current children cumulated memory: 11680 KiB
[startup+51.1099 s]
/proc/loadavg: 1.95 2.01 2.04 3/192 19987
/proc/meminfo: memFree=8390908/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=41876 memory=11944 CPUtime=51.1 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 14452 0 0 0 5100 10 0 0 20 0 1 0 226455796 42881024 2986 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10469 2986 505 7861 0 2573 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 41876 KiB
Current children cumulated memory: 11944 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/193 19996
/proc/meminfo: memFree=8391396/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42020 memory=12032 CPUtime=102.29 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 14843 0 0 0 10211 18 0 0 20 0 1 0 226455796 43028480 3008 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10505 3008 505 7861 0 2609 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 42020 KiB
Current children cumulated memory: 12032 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/193 19997
/proc/meminfo: memFree=8391496/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42020 memory=12056 CPUtime=162.29 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 15236 0 0 0 16198 31 0 0 20 0 1 0 226455796 43028480 3014 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10505 3014 505 7861 0 2609 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 42020 KiB
Current children cumulated memory: 12056 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/193 19998
/proc/meminfo: memFree=8391360/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12120 CPUtime=222.3 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 15664 0 0 0 22185 45 0 0 20 0 1 0 226455796 43175936 3030 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3030 505 7861 0 2645 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12120 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/193 19999
/proc/meminfo: memFree=8391224/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12120 CPUtime=282.3 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 15675 0 0 0 28176 54 0 0 20 0 1 0 226455796 43175936 3030 33554432000 4194304 36388936 140725995406912 140725995405752 4585232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3030 505 7861 0 2645 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12120 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 20000
/proc/meminfo: memFree=8391536/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12192 CPUtime=342.31 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 16077 0 0 0 34167 64 0 0 20 0 1 0 226455796 43175936 3048 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3048 505 7861 0 2645 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12192 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 20004
/proc/meminfo: memFree=8391304/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12192 CPUtime=402.31 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 16084 0 0 0 40155 76 0 0 20 0 1 0 226455796 43175936 3048 33554432000 4194304 36388936 140725995406912 140725995405752 4598923 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3048 505 7861 0 2645 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12192 KiB
[startup+404.07 s]
# the end of solver process 19985 was just reported to runsolver
# cumulated CPU time of all completed processes: user=403.322 s, system=0.770052 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 20004
/proc/meminfo: memFree=8391304/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12192 CPUtime=403.21 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 16084 0 0 0 40245 76 0 0 20 0 1 0 226455796 43175936 3048 33554432000 4194304 36388936 140725995406912 140725995405752 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3048 505 7861 0 2645 0
Current children cumulated CPU time: 403.21 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12192 KiB
[startup+403.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 20004
/proc/meminfo: memFree=8391304/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12192 CPUtime=403.62 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 16084 0 0 0 40285 77 0 0 20 0 1 0 226455796 43175936 3048 33554432000 4194304 36388936 140725995406912 140725995405752 4585243 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3048 505 7861 0 2645 0
Current children cumulated CPU time: 403.62 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12192 KiB
[startup+404 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 20004
/proc/meminfo: memFree=8391304/32770624 swapFree=67108856/67108860
[pid=19985] ppid=19982 vsize=42164 memory=12192 CPUtime=404.03 cores=0,2,4,6
/proc/19985/stat : 19985 (BTD) R 19982 19985 15404 0 -1 4202496 16084 0 0 0 40326 77 0 0 20 0 1 0 226455796 43175936 3048 33554432000 4194304 36388936 140725995406912 140725995405752 4585250 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 46645248 140725995414716 140725995414795 140725995414795 140725995417553 0
/proc/19985/statm: 10541 3048 505 7861 0 2645 0
Current children cumulated CPU time: 404.03 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 12192 KiB
Child status: 0
Real time (s): 404.07
CPU time (s): 404.093
CPU user time (s): 403.322
CPU system time (s): 0.770052
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 42164
Max. memory (cumulated for all children) (KiB): 12192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.322
system time used= 0.770052
maximum resident set size= 12196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16150
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= 149
# summary of solver processes directly reported to runsolver:
# pid: 19985
# total CPU time (s): 404.093
# total CPU user time (s): 403.322
# total CPU system time (s): 0.770052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52855 second user time and 2.94686 second system time
The end
Begin job on node133 at 2018-08-12 17:48:46
IDJOB=4306163
IDBENCH=141495
IDSOLVER=2785
FILE ID=node133/4306163-1534088926
RUNJOBID= node133-1534062958-15435
PBS_JOBID= 21036985
Free space on /tmp= 38972 MiB
SOLVER NAME= BTD_12 2018.07.27_12
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g11-g30_c18.xml
COMMAND LINE= BTD 12 TIMELIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306163-1534088926/watcher-4306163-1534088926 -o /tmp/evaluation-result-4306163-1534088926/solver-4306163-1534088926 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534062958-15435 --watchdog 2580 BTD 12 2520 HOME/instance-4306163-1534088926.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= bb4f87e482134ef2c2f946a146b04c70
RANDOM SEED=924351940
node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
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.24
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.24
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.24
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: 8401992 kB
MemAvailable: 31823212 kB
Buffers: 223940 kB
Cached: 23142580 kB
SwapCached: 0 kB
Active: 10090612 kB
Inactive: 13412144 kB
Active(anon): 86928 kB
Inactive(anon): 101696 kB
Active(file): 10003684 kB
Inactive(file): 13310448 kB
Unevictable: 7092 kB
Mlocked: 7092 kB
SwapTotal: 67108860 kB
SwapFree: 67108856 kB
Dirty: 52932 kB
Writeback: 0 kB
AnonPages: 143284 kB
Mapped: 58188 kB
Shmem: 49820 kB
Slab: 563796 kB
SReclaimable: 535548 kB
SUnreclaim: 28248 kB
KernelStack: 3424 kB
PageTables: 5412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 460424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 86016 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 38920 MiB
End job on node133 at 2018-08-12 17:55:31