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 (14328 MiB free)
memory of node 1: 16384 MiB (15156 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395145-1568327884/watcher-4395145-1568327884 -o /tmp/evaluation-result-4395145-1568327884/solver-4395145-1568327884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4395145-1568327884.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16518, runsolver pid=16515
[startup+0.100158 s]*
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30163836/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2041816 memory=32312 CPUtime=0.1 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 3153 0 0 0 10 0 0 0 20 0 1 0 408711175 2090819584 8078 33554432000 4194304 5870510 140736338208368 140736338207672 5477010 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 510454 8078 951 410 0 505927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041816 KiB
Current children cumulated memory: 32312 KiB
[startup+0.209956 s]*
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30161788/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2041816 memory=32312 CPUtime=0.2 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 3172 0 0 0 20 0 0 0 20 0 1 0 408711175 2090819584 8078 33554432000 4194304 5870510 140736338208368 140736338207672 140115559219079 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 510454 8078 951 410 0 505927 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041816 KiB
Current children cumulated memory: 32312 KiB
[startup+0.309111 s]*
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30161416/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2042212 memory=32920 CPUtime=0.31 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 3362 0 0 0 29 2 0 0 20 0 1 0 408711175 2091225088 8230 33554432000 4194304 5870510 140736338208368 140736338207672 140115559219079 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 510553 8230 970 410 0 506026 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2042212 KiB
Current children cumulated memory: 32920 KiB
[startup+0.700283 s]
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30151804/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049060 memory=42432 CPUtime=0.69 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 5489 0 0 0 66 3 0 0 20 0 1 0 408711175 2098237440 10608 33554432000 4194304 5870510 140736338208368 140736338206920 140115559219079 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512265 10608 970 410 0 507738 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2049060 KiB
Current children cumulated memory: 42432 KiB
[startup+1.50028 s]
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30151184/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049340 memory=42696 CPUtime=1.49 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 5557 0 0 0 146 3 0 0 20 0 1 0 408711175 2098524160 10674 33554432000 4194304 5870510 140736338208368 140736338207608 5579088 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512335 10674 970 410 0 507808 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2049340 KiB
Current children cumulated memory: 42696 KiB
[startup+3.1093 s]
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30153256/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049340 memory=42964 CPUtime=3.1 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 6175 0 0 0 307 3 0 0 20 0 1 0 408711175 2098524160 10741 33554432000 4194304 5870510 140736338208368 140736338207608 5476932 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512335 10741 970 410 0 507808 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2049340 KiB
Current children cumulated memory: 42964 KiB
[startup+6.30027 s]
/proc/loadavg: 2.03 2.05 2.05 3/205 16519
/proc/meminfo: memFree=30116292/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049624 memory=43248 CPUtime=6.29 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 7315 0 0 0 626 3 0 0 20 0 1 0 408711175 2098814976 10812 33554432000 4194304 5870510 140736338208368 140736338207464 5562032 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512406 10812 970 410 0 507879 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2049624 KiB
Current children cumulated memory: 43248 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.05 2.05 3/205 16520
/proc/meminfo: memFree=30156664/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049768 memory=43544 CPUtime=12.69 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 8574 0 0 0 1265 4 0 0 20 0 1 0 408711175 2098962432 10886 33554432000 4194304 5870510 140736338208368 140736338207624 5406328 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512442 10886 970 410 0 507915 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2049768 KiB
Current children cumulated memory: 43544 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.05 3/205 16522
/proc/meminfo: memFree=30150784/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049272 memory=43152 CPUtime=25.49 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 19947 0 0 0 2540 9 0 0 20 0 1 0 408711175 2098454528 10788 33554432000 4194304 5870510 140736338208368 140736338207544 5562032 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512318 10788 991 410 0 507791 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2049272 KiB
Current children cumulated memory: 43152 KiB
[startup+51.1093 s]
/proc/loadavg: 2.01 2.04 2.05 3/205 16522
/proc/meminfo: memFree=30157096/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049272 memory=43256 CPUtime=51.1 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 30011 0 0 0 5093 17 0 0 20 0 1 0 408711175 2098454528 10814 33554432000 4194304 5870510 140736338208368 140736338207464 5562059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512318 10814 1000 410 0 507791 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2049272 KiB
Current children cumulated memory: 43256 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.07 2.06 3/206 16527
/proc/meminfo: memFree=30158376/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2049548 memory=43468 CPUtime=102.29 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 50292 0 0 0 10201 28 0 0 20 0 1 0 408711175 2098737152 10867 33554432000 4194304 5870510 140736338208368 140736338207608 5406328 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512387 10867 1000 410 0 507860 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2049548 KiB
Current children cumulated memory: 43468 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/206 16534
/proc/meminfo: memFree=30159000/32770624 swapFree=67008720/67108860
[pid=16518] ppid=16515 vsize=2050540 memory=45372 CPUtime=162.28 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 60823 0 0 0 16190 38 0 0 20 0 1 0 408711175 2099752960 11343 33554432000 4194304 5870510 140736338208368 140736338207480 5562059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512635 11343 1007 410 0 508108 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 45372 KiB
[startup+215.637 s]
# the end of solver process 16518 was just reported to runsolver
# cumulated CPU time of all completed processes: user=215.127 s, system=0.496972 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 2.04 2.05 2.05 3/206 16539
/proc/meminfo: memFree=30156296/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2049740 memory=45068 CPUtime=179.17 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 63516 0 0 0 17875 42 0 0 20 0 1 0 408711175 2098933760 11267 33554432000 4194304 5870510 140736338208368 140736338207544 5406818 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512435 11267 1007 410 0 507908 0
Current children cumulated CPU time: 179.17 s
Current children cumulated vsize: 2049740 KiB
Current children cumulated memory: 45068 KiB
[startup+192 s]*
/proc/loadavg: 2.03 2.05 2.05 3/206 16541
/proc/meminfo: memFree=30146096/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2049740 memory=45068 CPUtime=191.99 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 66210 0 0 0 19152 47 0 0 20 0 1 0 408711175 2098933760 11267 33554432000 4194304 5870510 140736338208368 140736338207624 5406296 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512435 11267 1007 410 0 507908 0
Current children cumulated CPU time: 191.99 s
Current children cumulated vsize: 2049740 KiB
Current children cumulated memory: 45068 KiB
[startup+204.8 s]
/proc/loadavg: 2.03 2.05 2.05 3/206 16543
/proc/meminfo: memFree=30150480/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2049740 memory=45068 CPUtime=204.78 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 66210 0 0 0 20430 48 0 0 20 0 1 0 408711175 2098933760 11267 33554432000 4194304 5870510 140736338208368 140736338207624 5557438 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512435 11267 1007 410 0 507908 0
Current children cumulated CPU time: 204.78 s
Current children cumulated vsize: 2049740 KiB
Current children cumulated memory: 45068 KiB
[startup+211.2 s]
/proc/loadavg: 2.02 2.05 2.05 3/206 16543
/proc/meminfo: memFree=30150220/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2050540 memory=45328 CPUtime=211.17 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 66326 0 0 0 21069 48 0 0 20 0 1 0 408711175 2099752960 11332 33554432000 4194304 5870510 140736338208368 140736338207624 140115559219079 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512635 11332 1007 410 0 508108 0
Current children cumulated CPU time: 211.17 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 45328 KiB
[startup+212.8 s]
/proc/loadavg: 2.02 2.05 2.05 3/206 16543
/proc/meminfo: memFree=30150220/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2050540 memory=45328 CPUtime=212.78 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 66327 0 0 0 21229 49 0 0 20 0 1 0 408711175 2099752960 11332 33554432000 4194304 5870510 140736338208368 140736338207480 5478381 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 512635 11332 1007 410 0 508108 0
Current children cumulated CPU time: 212.78 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 45328 KiB
[startup+214.4 s]
/proc/loadavg: 2.02 2.05 2.05 3/206 16543
/proc/meminfo: memFree=30154688/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2063188 memory=56996 CPUtime=214.38 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 67728 0 0 0 21389 49 0 0 20 0 1 0 408711175 2112704512 14249 33554432000 4194304 5870510 140736338208368 140736338207480 5343862 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 515797 14249 1007 410 0 511270 0
Current children cumulated CPU time: 214.38 s
Current children cumulated vsize: 2063188 KiB
Current children cumulated memory: 56996 KiB
[startup+215.2 s]
/proc/loadavg: 2.02 2.05 2.05 3/206 16543
/proc/meminfo: memFree=30138932/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2064128 memory=59096 CPUtime=215.18 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 68383 0 0 0 21469 49 0 0 20 0 1 0 408711175 2113667072 14774 33554432000 4194304 5870510 140736338208368 140736338207480 5337468 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 516032 14774 1007 410 0 511505 0
Current children cumulated CPU time: 215.18 s
Current children cumulated vsize: 2064128 KiB
Current children cumulated memory: 59096 KiB
[startup+215.6 s]
/proc/loadavg: 2.02 2.05 2.05 3/206 16543
/proc/meminfo: memFree=30138932/32770624 swapFree=67008724/67108860
[pid=16518] ppid=16515 vsize=2069012 memory=63292 CPUtime=215.58 cores=1,3,5,7
/proc/16518/stat : 16518 (xcsp_picat) R 16515 16518 14854 0 -1 4202496 68920 0 0 0 21509 49 0 0 20 0 1 0 408711175 2118668288 15823 33554432000 4194304 5870510 140736338208368 140736338207480 5282578 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 33820672 140736338211871 140736338211949 140736338211949 140736338214858 0
/proc/16518/statm: 517253 15823 1007 410 0 512726 0
Current children cumulated CPU time: 215.58 s
Current children cumulated vsize: 2069012 KiB
Current children cumulated memory: 63292 KiB
Child status: 0
Real time (s): 215.637
CPU time (s): 215.624
CPU user time (s): 215.127
CPU system time (s): 0.496972
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 2069040
Max. memory (cumulated for all children) (KiB): 63292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.127
system time used= 0.496972
maximum resident set size= 63336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68987
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= 58
# summary of solver processes directly reported to runsolver:
# pid: 16518
# total CPU time (s): 215.624
# total CPU user time (s): 215.127
# total CPU system time (s): 0.496972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.787977 second user time and 1.49459 second system time
The end
Begin job on node132 at 2019-09-13 00:37:15
IDJOB=4395145
IDBENCH=124158
IDSOLVER=2844
FILE ID=node132/4395145-1568327884
RUNJOBID= node132-1568322174-14886
PBS_JOBID= 21701138
Free space on /tmp= 60300 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-3.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395145-1568327884/watcher-4395145-1568327884 -o /tmp/evaluation-result-4395145-1568327884/solver-4395145-1568327884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4395145-1568327884.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 0fab81179fd404e9cd210665e915a325
RANDOM SEED=1889346718
node132.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.95
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.95
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.95
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.95
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: 30192756 kB
MemAvailable: 31564680 kB
Buffers: 120372 kB
Cached: 1522456 kB
SwapCached: 8608 kB
Active: 665644 kB
Inactive: 1332292 kB
Active(anon): 354284 kB
Inactive(anon): 28016 kB
Active(file): 311360 kB
Inactive(file): 1304276 kB
Unevictable: 109188 kB
Mlocked: 109188 kB
SwapTotal: 67108860 kB
SwapFree: 67008720 kB
Dirty: 3124 kB
Writeback: 0 kB
AnonPages: 457980 kB
Mapped: 32764 kB
Shmem: 18588 kB
Slab: 173524 kB
SReclaimable: 144244 kB
SUnreclaim: 29280 kB
KernelStack: 3568 kB
PageTables: 6420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2764468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 399360 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 136576 kB
DirectMap2M: 33409024 kB
Free space on /tmp at the end= 60300 MiB
End job on node132 at 2019-09-13 00:40:51