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 (15284 MiB free)
memory of node 1: 16384 MiB (15535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394903-1568324229/watcher-4394903-1568324229 -o /tmp/evaluation-result-4394903-1568324229/solver-4394903-1568324229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4394903-1568324229.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
solver pid=19161, runsolver pid=19158
Current StackSize limit: 8192 KiB
[startup+0.100418 s]*
/proc/loadavg: 2.00 2.03 2.44 3/199 19162
/proc/meminfo: memFree=31545756/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2031716 memory=16040 CPUtime=0.1 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 1641 0 0 0 10 0 0 0 20 0 1 0 408685559 2080477184 4010 33554432000 4194304 5870510 140720517592288 140720517591592 4818576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 507929 4010 857 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 16040 KiB
[startup+0.20981 s]*
/proc/loadavg: 2.00 2.03 2.44 3/199 19162
/proc/meminfo: memFree=31539820/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2031716 memory=22436 CPUtime=0.2 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 1719 0 0 0 20 0 0 0 20 0 1 0 408685559 2080477184 5609 33554432000 4194304 5870510 140720517592288 140720517591656 4643038 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 507929 5609 859 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22436 KiB
[startup+0.309652 s]*
/proc/loadavg: 2.00 2.03 2.44 3/199 19162
/proc/meminfo: memFree=31539820/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2031716 memory=22436 CPUtime=0.3 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 1719 0 0 0 30 0 0 0 20 0 1 0 408685559 2080477184 5609 33554432000 4194304 5870510 140720517592288 140720517591656 4643027 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 507929 5609 859 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22436 KiB
[startup+0.700232 s]
/proc/loadavg: 2.00 2.03 2.44 3/199 19162
/proc/meminfo: memFree=31539820/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2031716 memory=22436 CPUtime=0.68 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 1719 0 0 0 68 0 0 0 20 0 1 0 408685559 2080477184 5609 33554432000 4194304 5870510 140720517592288 140720517591656 4643027 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 507929 5609 859 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22436 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.03 2.44 3/199 19162
/proc/meminfo: memFree=31477248/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2128944 memory=123440 CPUtime=1.48 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 21762 0 0 0 145 3 0 0 20 0 1 0 408685559 2180038656 30860 33554432000 4194304 5870510 140720517592288 140720517591400 5477334 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 532236 30860 927 410 0 527709 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2128944 KiB
Current children cumulated memory: 123440 KiB
[startup+3.10944 s]
/proc/loadavg: 2.08 2.05 2.44 3/199 19162
/proc/meminfo: memFree=31438040/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2129216 memory=124012 CPUtime=3.09 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 24269 0 0 0 305 4 0 0 20 0 1 0 408685559 2180317184 31003 33554432000 4194304 5870510 140720517592288 140720517591400 5552771 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 532304 31003 945 410 0 527777 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2129216 KiB
Current children cumulated memory: 124012 KiB
[startup+6.30035 s]
/proc/loadavg: 2.08 2.05 2.44 3/199 19162
/proc/meminfo: memFree=31434124/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2130148 memory=124912 CPUtime=6.28 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 29786 0 0 0 623 5 0 0 20 0 1 0 408685559 2181271552 31228 33554432000 4194304 5870510 140720517592288 140720517591400 5574854 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 532537 31228 945 410 0 528010 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2130148 KiB
Current children cumulated memory: 124912 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.43 3/199 19162
/proc/meminfo: memFree=31430548/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2130812 memory=127760 CPUtime=12.68 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 35541 0 0 0 1260 8 0 0 20 0 1 0 408685559 2181951488 31940 33554432000 4194304 5870510 140720517592288 140720517591400 5327143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 532703 31940 945 410 0 528176 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2130812 KiB
Current children cumulated memory: 127760 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.43 3/199 19163
/proc/meminfo: memFree=31424888/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2132416 memory=129488 CPUtime=25.49 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 42090 0 0 0 2536 13 0 0 20 0 1 0 408685559 2183593984 32372 33554432000 4194304 5870510 140720517592288 140720517591400 5417196 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 533104 32372 945 410 0 528577 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2132416 KiB
Current children cumulated memory: 129488 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.03 2.42 3/199 19165
/proc/meminfo: memFree=31424016/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2148120 memory=130620 CPUtime=51.09 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 67038 0 0 0 5092 17 0 0 20 0 1 0 408685559 2199674880 32655 33554432000 4194304 5870510 140720517592288 140720517590472 5273784 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 537030 32655 976 410 0 532503 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2148120 KiB
Current children cumulated memory: 130620 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.39 3/199 19231
/proc/meminfo: memFree=31413252/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2184476 memory=175748 CPUtime=102.27 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 111731 0 0 0 10203 24 0 0 20 0 1 0 408685559 2236903424 43937 33554432000 4194304 5870510 140720517592288 140720517590776 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546119 43937 976 410 0 541592 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2184476 KiB
Current children cumulated memory: 175748 KiB
[startup+158.888 s]
# the end of solver process 19161 was just reported to runsolver
# cumulated CPU time of all completed processes: user=158.565 s, system=0.267973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.00 2.02 2.39 3/199 19231
/proc/meminfo: memFree=31413252/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2184476 memory=175748 CPUtime=102.37 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 111731 0 0 0 10213 24 0 0 20 0 1 0 408685559 2236903424 43937 33554432000 4194304 5870510 140720517592288 140720517590776 5282694 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546119 43937 976 410 0 541592 0
Current children cumulated CPU time: 102.37 s
Current children cumulated vsize: 2184476 KiB
Current children cumulated memory: 175748 KiB
[startup+128 s]*
/proc/loadavg: 2.00 2.02 2.38 3/199 19233
/proc/meminfo: memFree=31376024/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2184476 memory=174448 CPUtime=127.95 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 113299 0 0 0 12771 24 0 0 20 0 1 0 408685559 2236903424 43612 33554432000 4194304 5870510 140720517592288 140720517591304 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546119 43612 976 410 0 541592 0
Current children cumulated CPU time: 127.95 s
Current children cumulated vsize: 2184476 KiB
Current children cumulated memory: 174448 KiB
[startup+140.8 s]
/proc/loadavg: 2.00 2.02 2.38 3/199 19233
/proc/meminfo: memFree=31370308/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186456 memory=181316 CPUtime=140.74 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 114328 0 0 0 14049 25 0 0 20 0 1 0 408685559 2238930944 45329 33554432000 4194304 5870510 140720517592288 140720517590648 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546614 45329 976 410 0 542087 0
Current children cumulated CPU time: 140.74 s
Current children cumulated vsize: 2186456 KiB
Current children cumulated memory: 181316 KiB
[startup+147.2 s]
/proc/loadavg: 2.00 2.02 2.38 3/201 19237
/proc/meminfo: memFree=31413380/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186892 memory=171976 CPUtime=147.14 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 116200 0 0 0 14688 26 0 0 20 0 1 0 408685559 2239377408 42994 33554432000 4194304 5870510 140720517592288 140720517591304 140611555742590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546723 42994 976 410 0 542196 0
Current children cumulated CPU time: 147.14 s
Current children cumulated vsize: 2186892 KiB
Current children cumulated memory: 171976 KiB
[startup+153.6 s]
/proc/loadavg: 2.00 2.02 2.37 3/201 19237
/proc/meminfo: memFree=31376696/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186892 memory=174024 CPUtime=153.54 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 116201 0 0 0 15328 26 0 0 20 0 1 0 408685559 2239377408 43506 33554432000 4194304 5870510 140720517592288 140720517591304 5258466 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546723 43506 976 410 0 542196 0
Current children cumulated CPU time: 153.54 s
Current children cumulated vsize: 2186892 KiB
Current children cumulated memory: 174024 KiB
[startup+156.8 s]
/proc/loadavg: 2.00 2.02 2.37 3/201 19237
/proc/meminfo: memFree=31374148/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186892 memory=175176 CPUtime=156.74 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 116202 0 0 0 15648 26 0 0 20 0 1 0 408685559 2239377408 43794 33554432000 4194304 5870510 140720517592288 140720517591304 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546723 43794 976 410 0 542196 0
Current children cumulated CPU time: 156.74 s
Current children cumulated vsize: 2186892 KiB
Current children cumulated memory: 175176 KiB
[startup+157.6 s]
/proc/loadavg: 2.00 2.02 2.37 3/201 19237
/proc/meminfo: memFree=31372348/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186892 memory=177224 CPUtime=157.54 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 116203 0 0 0 15728 26 0 0 20 0 1 0 408685559 2239377408 44306 33554432000 4194304 5870510 140720517592288 140720517591304 140611560842276 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546723 44306 976 410 0 542196 0
Current children cumulated CPU time: 157.54 s
Current children cumulated vsize: 2186892 KiB
Current children cumulated memory: 177224 KiB
[startup+158.4 s]
/proc/loadavg: 2.00 2.02 2.37 3/201 19237
/proc/meminfo: memFree=31407164/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186892 memory=177224 CPUtime=158.34 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 119260 0 0 0 15808 26 0 0 20 0 1 0 408685559 2239377408 44306 33554432000 4194304 5870510 140720517592288 140720517591304 5258758 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546723 44306 976 410 0 542196 0
Current children cumulated CPU time: 158.34 s
Current children cumulated vsize: 2186892 KiB
Current children cumulated memory: 177224 KiB
[startup+158.8 s]
/proc/loadavg: 2.00 2.02 2.37 3/201 19237
/proc/meminfo: memFree=31407164/32770624 swapFree=66979628/67108860
[pid=19161] ppid=19158 vsize=2186892 memory=177224 CPUtime=158.74 cores=0,2,4,6
/proc/19161/stat : 19161 (xcsp_picat) R 19158 19161 18664 0 -1 4202496 119276 0 0 0 15848 26 0 0 20 0 1 0 408685559 2239377408 44306 33554432000 4194304 5870510 140720517592288 140720517591304 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 30703616 140720517600287 140720517600365 140720517600365 140720517603274 0
/proc/19161/statm: 546723 44306 976 410 0 542196 0
Current children cumulated CPU time: 158.74 s
Current children cumulated vsize: 2186892 KiB
Current children cumulated memory: 177224 KiB
Child status: 0
Real time (s): 158.888
CPU time (s): 158.833
CPU user time (s): 158.565
CPU system time (s): 0.267973
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 2236212
Max. memory (cumulated for all children) (KiB): 219596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.565
system time used= 0.267973
maximum resident set size= 219596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119614
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= 43
involuntary context switches= 221
# summary of solver processes directly reported to runsolver:
# pid: 19161
# total CPU time (s): 158.833
# total CPU user time (s): 158.565
# total CPU system time (s): 0.267973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.660523 second user time and 1.2099 second system time
The end
Begin job on node121 at 2019-09-12 23:36:27
IDJOB=4394903
IDBENCH=120852
IDSOLVER=2844
FILE ID=node121/4394903-1568324229
RUNJOBID= node121-1568321663-18695
PBS_JOBID= 21701136
Free space on /tmp= 61044 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Rlfap/Rlfap-m1-graphs/Rlfap-graph-10.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394903-1568324229/watcher-4394903-1568324229 -o /tmp/evaluation-result-4394903-1568324229/solver-4394903-1568324229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4394903-1568324229.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 9ed3b999acc99b58e0111c7e6e3d1d3a
RANDOM SEED=944969290
node121.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.75
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.75
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.75
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.75
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: 31558968 kB
MemAvailable: 31752384 kB
Buffers: 123908 kB
Cached: 364848 kB
SwapCached: 19148 kB
Active: 409828 kB
Inactive: 267044 kB
Active(anon): 174684 kB
Inactive(anon): 42524 kB
Active(file): 235144 kB
Inactive(file): 224520 kB
Unevictable: 109564 kB
Mlocked: 109564 kB
SwapTotal: 67108860 kB
SwapFree: 66979628 kB
Dirty: 3016 kB
Writeback: 0 kB
AnonPages: 295276 kB
Mapped: 33772 kB
Shmem: 20572 kB
Slab: 128192 kB
SReclaimable: 99176 kB
SUnreclaim: 29016 kB
KernelStack: 3552 kB
PageTables: 6096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2689696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 133120 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= 61044 MiB
End job on node121 at 2019-09-12 23:39:06