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 (131 MiB free)
memory of node 1: 16384 MiB (5680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302965-1533992167/watcher-4302965-1533992167 -o /tmp/evaluation-result-4302965-1533992167/solver-4302965-1533992167 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32497 --watchdog 2580 xcsp_picat HOME/instance-4302965-1533992167.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
Starting watchdog thread
solver pid=386, runsolver pid=383
Current StackSize limit: 8192 KiB
[startup+0.100332 s]*
/proc/loadavg: 2.16 1.73 1.37 3/187 387
/proc/meminfo: memFree=5935592/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2025744 memory=18196 CPUtime=0.09 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 1153 0 0 0 9 0 0 0 20 0 1 0 216779912 2074361856 4549 33554432000 4194304 5849708 140725915105616 140725915104920 4492535 0 0 4096 8389634 0 0 0 17 6 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 506436 4549 655 405 0 503381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 18196 KiB
[startup+0.209768 s]*
/proc/loadavg: 2.16 1.73 1.37 3/187 387
/proc/meminfo: memFree=5930760/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2026956 memory=23980 CPUtime=0.2 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 1575 0 0 0 20 0 0 0 20 0 1 0 216779912 2075602944 5995 33554432000 4194304 5849708 140725915105616 140725915104920 139821558590614 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 506739 5995 720 405 0 503684 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026956 KiB
Current children cumulated memory: 23980 KiB
[startup+0.30944 s]*
/proc/loadavg: 2.16 1.73 1.37 3/187 387
/proc/meminfo: memFree=5930760/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2026956 memory=23980 CPUtime=0.3 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 1575 0 0 0 30 0 0 0 20 0 1 0 216779912 2075602944 5995 33554432000 4194304 5849708 140725915105616 140725915104920 5471927 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 506739 5995 720 405 0 503684 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026956 KiB
Current children cumulated memory: 23980 KiB
[startup+0.700223 s]
/proc/loadavg: 2.16 1.73 1.37 3/187 387
/proc/meminfo: memFree=5930512/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2026956 memory=23980 CPUtime=0.68 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 1575 0 0 0 68 0 0 0 20 0 1 0 216779912 2075602944 5995 33554432000 4194304 5849708 140725915105616 140725915104712 139821558886265 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 506739 5995 720 405 0 503684 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2026956 KiB
Current children cumulated memory: 23980 KiB
[startup+1.50023 s]
/proc/loadavg: 2.16 1.73 1.37 3/187 387
/proc/meminfo: memFree=5930292/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2027212 memory=24108 CPUtime=1.48 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 1639 0 0 0 148 0 0 0 20 0 1 0 216779912 2075865088 6027 33554432000 4194304 5849708 140725915105616 140725915104856 139821558886424 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 506803 6027 720 405 0 503748 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027212 KiB
Current children cumulated memory: 24108 KiB
[startup+3.10888 s]
/proc/loadavg: 2.16 1.73 1.37 3/187 387
/proc/meminfo: memFree=5929384/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2028236 memory=25388 CPUtime=3.09 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 2071 0 0 0 309 0 0 0 20 0 1 0 216779912 2076913664 6347 33554432000 4194304 5849708 140725915105616 140725915104728 139821558869820 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 507059 6347 720 405 0 504004 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2028236 KiB
Current children cumulated memory: 25388 KiB
[startup+6.30023 s]
/proc/loadavg: 2.15 1.74 1.38 3/187 387
/proc/meminfo: memFree=5924932/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2032984 memory=30068 CPUtime=6.29 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 4691 0 0 0 628 1 0 0 20 0 1 0 216779912 2081775616 7517 33554432000 4194304 5849708 140725915105616 140725915104024 4211654 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 508246 7517 748 405 0 505191 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2032984 KiB
Current children cumulated memory: 30068 KiB
[startup+12.7002 s]
/proc/loadavg: 2.14 1.74 1.38 3/187 387
/proc/meminfo: memFree=5922760/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2036932 memory=32252 CPUtime=12.68 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 8572 0 0 0 1266 2 0 0 20 0 1 0 216779912 2085818368 8063 33554432000 4194304 5849708 140725915105616 140725915104104 4211654 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 509233 8063 761 405 0 506178 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2036932 KiB
Current children cumulated memory: 32252 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 1.75 1.39 3/187 387
/proc/meminfo: memFree=5922636/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2036932 memory=32252 CPUtime=25.48 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 14138 0 0 0 2539 9 0 0 20 0 1 0 216779912 2085818368 8063 33554432000 4194304 5849708 140725915105616 140725915104616 139821559336839 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 509233 8063 761 405 0 506178 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2036932 KiB
Current children cumulated memory: 32252 KiB
[startup+51.1092 s]
/proc/loadavg: 2.07 1.77 1.41 3/187 387
/proc/meminfo: memFree=5908568/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2037260 memory=34472 CPUtime=51.09 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 32375 0 0 0 5079 30 0 0 20 0 1 0 216779912 2086154240 8618 33554432000 4194304 5849708 140725915105616 140725915103512 4212046 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 509315 8618 761 405 0 506260 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2037260 KiB
Current children cumulated memory: 34472 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.79 1.43 3/187 388
/proc/meminfo: memFree=5910736/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2036868 memory=32876 CPUtime=102.28 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 117474 0 0 0 10148 80 0 0 20 0 1 0 216779912 2085752832 8219 33554432000 4194304 5849708 140725915105616 140725915104104 4211621 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 509217 8219 761 405 0 506162 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2036868 KiB
Current children cumulated memory: 32876 KiB
[startup+156.639 s]
# the end of solver process 386 was just reported to runsolver
# cumulated CPU time of all completed processes: user=155.266 s, system=1.369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 1.99 1.79 1.43 3/187 388
/proc/meminfo: memFree=5910736/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2036868 memory=32876 CPUtime=102.38 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 117474 0 0 0 10158 80 0 0 20 0 1 0 216779912 2085752832 8219 33554432000 4194304 5849708 140725915105616 140725915104104 4211660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 509217 8219 761 405 0 506162 0
Current children cumulated CPU time: 102.38 s
Current children cumulated vsize: 2036868 KiB
Current children cumulated memory: 32876 KiB
[startup+128 s]*
/proc/loadavg: 2.00 1.81 1.45 4/187 390
/proc/meminfo: memFree=5944276/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2037104 memory=34316 CPUtime=127.99 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 143554 0 0 0 12697 102 0 0 20 0 1 0 216779912 2085994496 8579 33554432000 4194304 5849708 140725915105616 140725915104104 139821559336839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 509276 8579 761 405 0 506221 0
Current children cumulated CPU time: 127.99 s
Current children cumulated vsize: 2037104 KiB
Current children cumulated memory: 34316 KiB
[startup+140.8 s]
/proc/loadavg: 2.00 1.82 1.46 3/187 390
/proc/meminfo: memFree=5919892/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2045928 memory=43140 CPUtime=140.79 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 166579 0 0 0 13960 119 0 0 20 0 1 0 216779912 2095030272 10785 33554432000 4194304 5849708 140725915105616 140725915104616 139821559336839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 511482 10785 761 405 0 508427 0
Current children cumulated CPU time: 140.79 s
Current children cumulated vsize: 2045928 KiB
Current children cumulated memory: 43140 KiB
[startup+147.2 s]
/proc/loadavg: 2.00 1.82 1.46 3/187 390
/proc/meminfo: memFree=5912820/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2052952 memory=50164 CPUtime=147.18 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 175134 0 0 0 14594 124 0 0 20 0 1 0 216779912 2102222848 12541 33554432000 4194304 5849708 140725915105616 140725915104104 4211602 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 513238 12541 761 405 0 510183 0
Current children cumulated CPU time: 147.18 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 50164 KiB
[startup+153.6 s]
/proc/loadavg: 2.00 1.83 1.46 3/187 390
/proc/meminfo: memFree=5905188/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2052952 memory=50164 CPUtime=153.58 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 186309 0 0 0 15226 132 0 0 20 0 1 0 216779912 2102222848 12541 33554432000 4194304 5849708 140725915105616 140725915104776 139821559336839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 513238 12541 761 405 0 510183 0
Current children cumulated CPU time: 153.58 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 50164 KiB
[startup+155.2 s]
/proc/loadavg: 2.00 1.83 1.46 3/187 390
/proc/meminfo: memFree=5905188/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2052952 memory=50164 CPUtime=155.19 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 190421 0 0 0 15384 135 0 0 20 0 1 0 216779912 2102222848 12541 33554432000 4194304 5849708 140725915105616 140725915104776 139821559336839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 513238 12541 761 405 0 510183 0
Current children cumulated CPU time: 155.19 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 50164 KiB
[startup+156 s]*
/proc/loadavg: 2.00 1.83 1.46 3/187 390
/proc/meminfo: memFree=5905188/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2052952 memory=50164 CPUtime=155.99 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 192632 0 0 0 15463 136 0 0 20 0 1 0 216779912 2102222848 12541 33554432000 4194304 5849708 140725915105616 140725915104616 139821559336839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 513238 12541 761 405 0 510183 0
Current children cumulated CPU time: 155.99 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 50164 KiB
[startup+156.4 s]
/proc/loadavg: 2.00 1.83 1.46 3/187 390
/proc/meminfo: memFree=5905188/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2052952 memory=50164 CPUtime=156.39 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 193100 0 0 0 15503 136 0 0 20 0 1 0 216779912 2102222848 12541 33554432000 4194304 5849708 140725915105616 140725915104616 139821559336839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 513238 12541 761 405 0 510183 0
Current children cumulated CPU time: 156.39 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 50164 KiB
[startup+156.6 s]
/proc/loadavg: 2.00 1.83 1.46 3/187 390
/proc/meminfo: memFree=5905188/32770624 swapFree=67108504/67108860
[pid=386] ppid=383 vsize=2052952 memory=50164 CPUtime=156.58 cores=0,2,4,6
/proc/386/stat : 386 (xcsp_picat) R 383 386 32466 0 -1 4202496 193109 0 0 0 15522 136 0 0 20 0 1 0 216779912 2102222848 12541 33554432000 4194304 5849708 140725915105616 140725915104616 5437627 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19685376 140725915112630 140725915112708 140725915112708 140725915115466 0
/proc/386/statm: 513238 12541 761 405 0 510183 0
Current children cumulated CPU time: 156.58 s
Current children cumulated vsize: 2052952 KiB
Current children cumulated memory: 50164 KiB
Child status: 0
Real time (s): 156.639
CPU time (s): 156.635
CPU user time (s): 155.266
CPU system time (s): 1.369
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 2052952
Max. memory (cumulated for all children) (KiB): 50164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.266
system time used= 1.369
maximum resident set size= 50184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193264
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= 2
involuntary context switches= 198
# summary of solver processes directly reported to runsolver:
# pid: 386
# total CPU time (s): 156.635
# total CPU user time (s): 155.266
# total CPU system time (s): 1.369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.533745 second user time and 1.16623 second system time
The end
Begin job on node104 at 2018-08-11 14:56:07
IDJOB=4302965
IDBENCH=141033
IDSOLVER=2778
FILE ID=node104/4302965-1533992167
RUNJOBID= node104-1533991815-32497
PBS_JOBID= 21036946
Free space on /tmp= 37256 MiB
SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/StillLife/StillLife-wastage-17_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302965-1533992167/watcher-4302965-1533992167 -o /tmp/evaluation-result-4302965-1533992167/solver-4302965-1533992167 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32497 --watchdog 2580 xcsp_picat HOME/instance-4302965-1533992167.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6bdaa478fa612f14e4ae80d6384d4ab1
RANDOM SEED=1591908731
node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
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.11
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.11
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.11
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: 5951324 kB
MemAvailable: 31827940 kB
Buffers: 188504 kB
Cached: 25579592 kB
SwapCached: 8 kB
Active: 8720508 kB
Inactive: 17177564 kB
Active(anon): 81380 kB
Inactive(anon): 100928 kB
Active(file): 8639128 kB
Inactive(file): 17076636 kB
Unevictable: 7360 kB
Mlocked: 7360 kB
SwapTotal: 67108860 kB
SwapFree: 67108504 kB
Dirty: 3176 kB
Writeback: 0 kB
AnonPages: 184032 kB
Mapped: 53172 kB
Shmem: 49636 kB
Slab: 618012 kB
SReclaimable: 589312 kB
SUnreclaim: 28700 kB
KernelStack: 3616 kB
PageTables: 5576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2432460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 110592 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= 37252 MiB
End job on node104 at 2018-08-11 14:58:44