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 (14066 MiB free)
memory of node 1: 16384 MiB (11395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407654-1569512042/watcher-4407654-1569512042 -o /var/tmp/evaluation-result-4407654-1569512042/solver-4407654-1569512042 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1569509599-27079 --watchdog 2560 xcsp_picat HOME/instance-4407654-1569512042.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27474, runsolver pid=27471
Current StackSize limit: 8192 KiB
[startup+0.100242 s]*
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=26054040/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=24432 CPUtime=0.1 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1199 0 0 0 10 0 0 0 20 0 1 0 527118063 2080477184 6108 33554432000 4194304 5870510 140730839230560 140730839229864 4848104 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 6108 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24432 KiB
[startup+0.209709 s]*
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=26041628/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=34672 CPUtime=0.2 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1204 0 0 0 20 0 0 0 20 0 1 0 527118063 2080477184 8668 33554432000 4194304 5870510 140730839230560 140730839229864 4515843 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 8668 834 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 34672 KiB
[startup+0.309645 s]*
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=26031264/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=46960 CPUtime=0.31 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1210 0 0 0 30 1 0 0 20 0 1 0 527118063 2080477184 11740 33554432000 4194304 5870510 140730839230560 140730839229864 4440651 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 11740 834 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 46960 KiB
[startup+0.700401 s]
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=26008736/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=88108 CPUtime=0.69 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1230 0 0 0 67 2 0 0 20 0 1 0 527118063 2080477184 22027 33554432000 4194304 5870510 140730839230560 140730839229864 4826518 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 22027 841 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 88108 KiB
[startup+1.50045 s]
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=25957412/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=174124 CPUtime=1.48 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1272 0 0 0 145 3 0 0 20 0 1 0 527118063 2080477184 43531 33554432000 4194304 5870510 140730839230560 140730839229864 4456121 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 43531 841 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 174124 KiB
[startup+3.10962 s]
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=25737960/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=348204 CPUtime=3.1 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1411 0 0 0 301 9 0 0 20 0 1 0 527118063 2080477184 87051 33554432000 4194304 5870510 140730839230560 140730839229864 4440651 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 87051 841 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 348204 KiB
[startup+6.3004 s]
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=25413472/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=684128 CPUtime=6.29 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 1894 0 0 0 614 15 0 0 20 0 1 0 527118063 2080477184 171032 33554432000 4194304 5870510 140730839230560 140730839229928 4459017 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 171032 851 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 684128 KiB
[startup+12.7005 s]
/proc/loadavg: 2.02 2.02 1.87 3/200 27475
/proc/meminfo: memFree=24282788/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=2031716 memory=1841296 CPUtime=12.68 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 2733 0 0 0 1237 31 0 0 20 0 1 0 527118063 2080477184 460324 33554432000 4194304 5870510 140730839230560 140730839229928 4795412 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 507929 460324 863 410 0 503402 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1841296 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 1.87 3/205 27498
/proc/meminfo: memFree=23385344/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=3698416 memory=2911740 CPUtime=25.49 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 70454 0 0 0 2493 56 0 0 20 0 1 0 527118063 3787177984 727935 33554432000 4194304 5870510 140730839230560 140730839229448 140214594538469 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 924604 727935 880 410 0 920077 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3698416 KiB
Current children cumulated memory: 2911740 KiB
[startup+51.1097 s]
/proc/loadavg: 2.12 2.05 1.88 3/200 27539
/proc/meminfo: memFree=23083968/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=3889700 memory=3100516 CPUtime=51.1 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 108652 0 0 0 5042 68 0 0 20 0 1 0 527118063 3983052800 775129 33554432000 4194304 5870510 140730839230560 140730839229816 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 972425 775129 890 410 0 967898 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3889700 KiB
Current children cumulated memory: 3100516 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 1.89 3/199 27543
/proc/meminfo: memFree=23040856/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=3889700 memory=3110840 CPUtime=102.28 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 301037 0 0 0 10148 80 0 0 20 0 1 0 527118063 3983052800 777710 33554432000 4194304 5870510 140730839230560 140730839229816 5281763 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 972425 777710 911 410 0 967898 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3889700 KiB
Current children cumulated memory: 3110840 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 1.89 3/200 27550
/proc/meminfo: memFree=23002292/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=3889700 memory=3143196 CPUtime=162.27 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 461522 0 0 0 16136 91 0 0 20 0 1 0 527118063 3983052800 785799 33554432000 4194304 5870510 140730839230560 140730839229672 5282382 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 972425 785799 912 410 0 967898 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3889700 KiB
Current children cumulated memory: 3143196 KiB
[startup+218.611 s]
# the end of solver process 27474 was just reported to runsolver
# cumulated CPU time of all completed processes: user=217.577 s, system=1.0061 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 2.01 2.03 1.90 4/200 27550
/proc/meminfo: memFree=22997968/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=3889700 memory=3147292 CPUtime=179.17 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 495790 0 0 0 17823 94 0 0 20 0 1 0 527118063 3983052800 786823 33554432000 4194304 5870510 140730839230560 140730839229672 5281906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 972425 786823 912 410 0 967898 0
Current children cumulated CPU time: 179.17 s
Current children cumulated vsize: 3889700 KiB
Current children cumulated memory: 3147292 KiB
[startup+204.8 s]
/proc/loadavg: 2.01 2.03 1.90 3/200 27551
/proc/meminfo: memFree=22968752/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=4021960 memory=3161628 CPUtime=204.77 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 532386 0 0 0 20380 97 0 0 20 0 1 0 527118063 4118487040 790407 33554432000 4194304 5870510 140730839230560 140730839229512 5288960 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 1005490 790407 912 410 0 1000963 0
Current children cumulated CPU time: 204.77 s
Current children cumulated vsize: 4021960 KiB
Current children cumulated memory: 3161628 KiB
[startup+211.2 s]
/proc/loadavg: 2.01 2.03 1.90 3/200 27554
/proc/meminfo: memFree=22959028/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=4021960 memory=3167772 CPUtime=211.17 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 543364 0 0 0 21019 98 0 0 20 0 1 0 527118063 4118487040 791943 33554432000 4194304 5870510 140730839230560 140730839229512 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 1005490 791943 912 410 0 1000963 0
Current children cumulated CPU time: 211.17 s
Current children cumulated vsize: 4021960 KiB
Current children cumulated memory: 3167772 KiB
[startup+214.4 s]
/proc/loadavg: 2.01 2.03 1.90 3/200 27554
/proc/meminfo: memFree=22955048/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=4021960 memory=3171868 CPUtime=214.36 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 543515 0 0 0 21338 98 0 0 20 0 1 0 527118063 4118487040 792967 33554432000 4194304 5870510 140730839230560 140730839229512 5276634 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 1005490 792967 912 410 0 1000963 0
Current children cumulated CPU time: 214.36 s
Current children cumulated vsize: 4021960 KiB
Current children cumulated memory: 3171868 KiB
[startup+216 s]*
/proc/loadavg: 2.01 2.03 1.90 3/200 27554
/proc/meminfo: memFree=22955048/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=4021960 memory=3171868 CPUtime=215.97 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 543635 0 0 0 21499 98 0 0 20 0 1 0 527118063 4118487040 792967 33554432000 4194304 5870510 140730839230560 140730839229512 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 1005490 792967 912 410 0 1000963 0
Current children cumulated CPU time: 215.97 s
Current children cumulated vsize: 4021960 KiB
Current children cumulated memory: 3171868 KiB
[startup+217.6 s]
/proc/loadavg: 2.01 2.03 1.90 3/200 27554
/proc/meminfo: memFree=22955048/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=4021960 memory=3171868 CPUtime=217.56 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 544246 0 0 0 21658 98 0 0 20 0 1 0 527118063 4118487040 792967 33554432000 4194304 5870510 140730839230560 140730839229512 5282429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 1005490 792967 912 410 0 1000963 0
Current children cumulated CPU time: 217.56 s
Current children cumulated vsize: 4021960 KiB
Current children cumulated memory: 3171868 KiB
[startup+218.4 s]
/proc/loadavg: 2.01 2.03 1.90 3/200 27554
/proc/meminfo: memFree=22955128/32770624 swapFree=67002108/67108860
[pid=27474] ppid=27471 vsize=4021960 memory=3171868 CPUtime=218.36 cores=1,3,5,7
/proc/27474/stat : 27474 (xcsp_picat) R 27471 27474 27047 0 -1 4202496 544496 0 0 0 21738 98 0 0 20 0 1 0 527118063 4118487040 792967 33554432000 4194304 5870510 140730839230560 140730839229512 5306657 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44122112 140730839233543 140730839233625 140730839233625 140730839236550 0
/proc/27474/statm: 1005490 792967 912 410 0 1000963 0
Current children cumulated CPU time: 218.36 s
Current children cumulated vsize: 4021960 KiB
Current children cumulated memory: 3171868 KiB
[startup+218.6 s]*
/proc/loadavg: 2.01 2.03 1.90 3/200 27554
/proc/meminfo: memFree=23568752/32770624 swapFree=67002108/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 218.611
CPU time (s): 218.584
CPU user time (s): 217.577
CPU system time (s): 1.0061
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 4101316
Max. memory (cumulated for all children) (KiB): 3256836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.577
system time used= 1.0061
maximum resident set size= 3271172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545439
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= 85
involuntary context switches= 144
# summary of solver processes directly reported to runsolver:
# pid: 27474
# total CPU time (s): 218.584
# total CPU user time (s): 217.577
# total CPU system time (s): 1.0061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.859302 second user time and 1.7088 second system time
The end
Begin job on node146 at 2019-09-26 17:33:20
IDJOB=4407654
IDBENCH=130823
IDSOLVER=2873
FILE ID=node146/4407654-1569512042
RUNJOBID= node146-1569509599-27079
PBS_JOBID= 21705781
Free space on /var/tmp= 13512 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4Dr4-m1296-05.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407654-1569512042/watcher-4407654-1569512042 -o /var/tmp/evaluation-result-4407654-1569512042/solver-4407654-1569512042 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1569509599-27079 --watchdog 2560 xcsp_picat HOME/instance-4407654-1569512042.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 8bf15ca3b223eef4cbfa4e50decdbacf
RANDOM SEED=8362727
node146.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 : 5332.90
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 : 5332.90
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 : 5332.90
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 : 5332.90
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: 26074204 kB
MemAvailable: 31652720 kB
Buffers: 131864 kB
Cached: 5581696 kB
SwapCached: 3456 kB
Active: 3084040 kB
Inactive: 2811112 kB
Active(anon): 195588 kB
Inactive(anon): 58504 kB
Active(file): 2888452 kB
Inactive(file): 2752608 kB
Unevictable: 108944 kB
Mlocked: 108944 kB
SwapTotal: 67108860 kB
SwapFree: 67002108 kB
Dirty: 3104 kB
Writeback: 0 kB
AnonPages: 243384 kB
Mapped: 24100 kB
Shmem: 64060 kB
Slab: 395148 kB
SReclaimable: 365916 kB
SUnreclaim: 29232 kB
KernelStack: 3568 kB
PageTables: 5884 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2738248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /var/tmp at the end= 13508 MiB
End job on node146 at 2019-09-26 17:36:59