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 (13352 MiB free)
memory of node 1: 16384 MiB (11537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407781-1569512741/watcher-4407781-1569512741 -o /var/tmp/evaluation-result-4407781-1569512741/solver-4407781-1569512741 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569509600-6249 --watchdog 2560 xcsp_picat HOME/instance-4407781-1569512741.xml
running on 4 cores: 0,2,4,6
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=6895, runsolver pid=6892
Current StackSize limit: 8192 KiB
[startup+0.100919 s]*
/proc/loadavg: 2.00 2.02 1.95 3/200 6896
/proc/meminfo: memFree=25467400/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2031716 memory=23508 CPUtime=0.1 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 1970 0 0 0 10 0 0 0 20 0 1 0 527188802 2080477184 5877 33554432000 4194304 5870510 140727130404304 140727130403608 4469239 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 507929 5877 838 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23508 KiB
[startup+0.209753 s]*
/proc/loadavg: 2.00 2.02 1.95 3/200 6896
/proc/meminfo: memFree=25457944/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2039640 memory=33736 CPUtime=0.21 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 3042 0 0 0 19 2 0 0 20 0 1 0 527188802 2088591360 8434 33554432000 4194304 5870510 140727130404304 140727130403608 140028970393479 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 509910 8434 879 410 0 505383 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039640 KiB
Current children cumulated memory: 33736 KiB
[startup+0.309583 s]*
/proc/loadavg: 2.00 2.02 1.95 3/200 6896
/proc/meminfo: memFree=25457200/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2036536 memory=34312 CPUtime=0.31 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 3434 0 0 0 26 5 0 0 20 0 1 0 527188802 2085412864 8578 33554432000 4194304 5870510 140727130404304 140727130403608 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 509134 8578 908 410 0 504607 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036536 KiB
Current children cumulated memory: 34312 KiB
[startup+0.700239 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6896
/proc/meminfo: memFree=25456456/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2038200 memory=35620 CPUtime=0.69 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 3797 0 0 0 64 5 0 0 20 0 1 0 527188802 2087116800 8905 33554432000 4194304 5870510 140727130404304 140727130403256 5263058 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 509550 8905 934 410 0 505023 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2038200 KiB
Current children cumulated memory: 35620 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6896
/proc/meminfo: memFree=25454228/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2043388 memory=40000 CPUtime=1.49 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 4879 0 0 0 144 5 0 0 20 0 1 0 527188802 2092429312 10000 33554432000 4194304 5870510 140727130404304 140727130403256 5267985 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 510847 10000 934 410 0 506320 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043388 KiB
Current children cumulated memory: 40000 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.02 1.95 3/199 6896
/proc/meminfo: memFree=25445732/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2056048 memory=49516 CPUtime=3.09 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 8982 0 0 0 304 5 0 0 20 0 1 0 527188802 2105393152 12379 33554432000 4194304 5870510 140727130404304 140727130402600 5281827 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 514012 12379 936 410 0 509485 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2056048 KiB
Current children cumulated memory: 49516 KiB
[startup+6.30041 s]
/proc/loadavg: 2.00 2.02 1.95 3/199 6896
/proc/meminfo: memFree=25431104/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2068520 memory=64768 CPUtime=6.28 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 13141 0 0 0 622 6 0 0 20 0 1 0 527188802 2118164480 16192 33554432000 4194304 5870510 140727130404304 140727130403256 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 517130 16192 936 410 0 512603 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2068520 KiB
Current children cumulated memory: 64768 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.95 3/199 6896
/proc/meminfo: memFree=25394704/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2089160 memory=74096 CPUtime=12.69 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 18052 0 0 0 1261 8 0 0 20 0 1 0 527188802 2139299840 18524 33554432000 4194304 5870510 140727130404304 140727130402664 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 522290 18524 936 410 0 517763 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2089160 KiB
Current children cumulated memory: 74096 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 1.95 3/199 6896
/proc/meminfo: memFree=25391436/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2122052 memory=102920 CPUtime=25.48 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 22537 0 0 0 2537 11 0 0 20 0 1 0 527188802 2172981248 25730 33554432000 4194304 5870510 140727130404304 140727130402664 5262976 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 530513 25730 936 410 0 525986 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2122052 KiB
Current children cumulated memory: 102920 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 2.00 1.95 3/199 6899
/proc/meminfo: memFree=25372748/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=119680 CPUtime=51.1 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 32289 0 0 0 5096 14 0 0 20 0 1 0 527188802 2176811008 29920 33554432000 4194304 5870510 140727130404304 140727130403416 5298776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 29920 936 410 0 526921 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 119680 KiB
[startup+102.282 s]
# the end of solver process 6895 was just reported to runsolver
# cumulated CPU time of all completed processes: user=102.1 s, system=0.175998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2005 s]
/proc/loadavg: 1.96 2.00 1.95 3/199 6899
/proc/meminfo: memFree=25372748/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=119680 CPUtime=51.19 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 32289 0 0 0 5105 14 0 0 20 0 1 0 527188802 2176811008 29920 33554432000 4194304 5870510 140727130404304 140727130403416 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 29920 936 410 0 526921 0
Current children cumulated CPU time: 51.19 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 119680 KiB
[startup+76.8004 s]
/proc/loadavg: 1.97 2.00 1.95 3/199 6900
/proc/meminfo: memFree=25367164/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123888 CPUtime=76.79 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 34150 0 0 0 7663 16 0 0 20 0 1 0 527188802 2176811008 30972 33554432000 4194304 5870510 140727130404304 140727130403320 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30972 936 410 0 526921 0
Current children cumulated CPU time: 76.79 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123888 KiB
[startup+89.6004 s]
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25366916/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123888 CPUtime=89.59 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 38377 0 0 0 8943 16 0 0 20 0 1 0 527188802 2176811008 30972 33554432000 4194304 5870510 140727130404304 140727130403320 5282384 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30972 936 410 0 526921 0
Current children cumulated CPU time: 89.59 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123888 KiB
[startup+96.0004 s]*
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25340644/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123888 CPUtime=95.99 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 38396 0 0 0 9583 16 0 0 20 0 1 0 527188802 2176811008 30972 33554432000 4194304 5870510 140727130404304 140727130403320 5262951 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30972 936 410 0 526921 0
Current children cumulated CPU time: 95.99 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123888 KiB
[startup+99.2004 s]
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25340148/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123892 CPUtime=99.18 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 38762 0 0 0 9902 16 0 0 20 0 1 0 527188802 2176811008 30973 33554432000 4194304 5870510 140727130404304 140727130403320 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30973 936 410 0 526921 0
Current children cumulated CPU time: 99.18 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123892 KiB
[startup+100.8 s]
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25340148/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123892 CPUtime=100.78 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 38803 0 0 0 10062 16 0 0 20 0 1 0 527188802 2176811008 30973 33554432000 4194304 5870510 140727130404304 140727130403320 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30973 936 410 0 526921 0
Current children cumulated CPU time: 100.78 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123892 KiB
[startup+101.6 s]
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25340148/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2175112 memory=157796 CPUtime=101.59 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 39139 0 0 0 10142 17 0 0 20 0 1 0 527188802 2227314688 39449 33554432000 4194304 5870510 140727130404304 140727130403320 5282767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 543778 39449 936 410 0 539251 0
Current children cumulated CPU time: 101.59 s
Current children cumulated vsize: 2175112 KiB
Current children cumulated memory: 157796 KiB
[startup+102 s]*
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25340148/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123892 CPUtime=101.99 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 39139 0 0 0 10182 17 0 0 20 0 1 0 527188802 2176811008 30973 33554432000 4194304 5870510 140727130404304 140727130403320 5277398 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30973 936 410 0 526921 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123892 KiB
[startup+102.2 s]
/proc/loadavg: 1.98 2.00 1.95 3/199 6903
/proc/meminfo: memFree=25340148/32770624 swapFree=66954172/67108860
[pid=6895] ppid=6892 vsize=2125792 memory=123892 CPUtime=102.19 cores=0,2,4,6
/proc/6895/stat : 6895 (xcsp_picat) R 6892 6895 6218 0 -1 4202496 39139 0 0 0 10202 17 0 0 20 0 1 0 527188802 2176811008 30973 33554432000 4194304 5870510 140727130404304 140727130403320 5282778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 20082688 140727130407943 140727130408025 140727130408025 140727130410950 0
/proc/6895/statm: 531448 30973 936 410 0 526921 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 2125792 KiB
Current children cumulated memory: 123892 KiB
Child status: 0
Real time (s): 102.282
CPU time (s): 102.276
CPU user time (s): 102.1
CPU system time (s): 0.175998
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 2175112
Max. memory (cumulated for all children) (KiB): 159976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.1
system time used= 0.175998
maximum resident set size= 164236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39405
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= 4
involuntary context switches= 108
# summary of solver processes directly reported to runsolver:
# pid: 6895
# total CPU time (s): 102.276
# total CPU user time (s): 102.1
# total CPU system time (s): 0.175998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.424543 second user time and 0.802794 second system time
The end
Begin job on node119 at 2019-09-26 17:44:59
IDJOB=4407781
IDBENCH=135046
IDSOLVER=2873
FILE ID=node119/4407781-1569512741
RUNJOBID= node119-1569509600-6249
PBS_JOBID= 21705795
Free space on /var/tmp= 13508 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K106.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407781-1569512741/watcher-4407781-1569512741 -o /var/tmp/evaluation-result-4407781-1569512741/solver-4407781-1569512741 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569509600-6249 --watchdog 2560 xcsp_picat HOME/instance-4407781-1569512741.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5d95bf0924f574ebe5a8a8a61c057e43
RANDOM SEED=556009393
node119.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.47
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.47
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.47
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.47
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: 25488668 kB
MemAvailable: 31631456 kB
Buffers: 176168 kB
Cached: 6083316 kB
SwapCached: 46676 kB
Active: 3163912 kB
Inactive: 3299636 kB
Active(anon): 169952 kB
Inactive(anon): 107848 kB
Active(file): 2993960 kB
Inactive(file): 3191788 kB
Unevictable: 107736 kB
Mlocked: 107736 kB
SwapTotal: 67108860 kB
SwapFree: 66954172 kB
Dirty: 3424 kB
Writeback: 0 kB
AnonPages: 266388 kB
Mapped: 24236 kB
Shmem: 64988 kB
Slab: 414696 kB
SReclaimable: 385500 kB
SUnreclaim: 29196 kB
KernelStack: 3552 kB
PageTables: 5736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2719096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /var/tmp at the end= 13504 MiB
End job on node119 at 2019-09-26 17:46:42