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 (6567 MiB free)
memory of node 1: 16384 MiB (5250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303438-1534015622/watcher-4303438-1534015622 -o /tmp/evaluation-result-4303438-1534015622/solver-4303438-1534015622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303438-1534015622.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
Current StackSize limit: 8192 KiB
solver pid=12484, runsolver pid=12481
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=12073156/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2025744 memory=35412 CPUtime=0.1 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 1880 0 0 0 10 0 0 0 20 0 1 0 219125398 2074361856 8853 33554432000 4194304 5849708 140724481681680 140724481681680 4465966 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 506436 8853 612 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35412 KiB
[startup+0.209787 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=12054104/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2026300 memory=50920 CPUtime=0.21 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 2148 0 0 0 21 0 0 0 20 0 1 0 219125398 2074931200 12730 33554432000 4194304 5849708 140724481681680 140724481681680 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 506575 12730 688 405 0 503520 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026300 KiB
Current children cumulated memory: 50920 KiB
[startup+0.309515 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=12054104/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2026300 memory=50920 CPUtime=0.31 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 2148 0 0 0 31 0 0 0 20 0 1 0 219125398 2074931200 12730 33554432000 4194304 5849708 140724481681680 140724481681680 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 506575 12730 688 405 0 503520 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026300 KiB
Current children cumulated memory: 50920 KiB
[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=12054104/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2026560 memory=51092 CPUtime=0.69 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 2221 0 0 0 69 0 0 0 20 0 1 0 219125398 2075197440 12773 33554432000 4194304 5849708 140724481681680 140724481681680 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 506640 12773 690 405 0 503585 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026560 KiB
Current children cumulated memory: 51092 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=12053028/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2027080 memory=51612 CPUtime=1.5 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 2351 0 0 0 149 1 0 0 20 0 1 0 219125398 2075729920 12903 33554432000 4194304 5849708 140724481681680 140724481680856 5520327 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 506770 12903 690 405 0 503715 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2027080 KiB
Current children cumulated memory: 51612 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=11966716/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2047656 memory=72288 CPUtime=3.1 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 8584 0 0 0 308 2 0 0 20 0 1 0 219125398 2096799744 18072 33554432000 4194304 5849708 140724481681680 140724481680680 5391768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 511914 18072 707 405 0 508859 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2047656 KiB
Current children cumulated memory: 72288 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=11956880/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2061340 memory=82412 CPUtime=6.3 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 12925 0 0 0 627 3 0 0 20 0 1 0 219125398 2110812160 20603 33554432000 4194304 5849708 140724481681680 140724481679928 4209029 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 515335 20603 721 405 0 512280 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 2061340 KiB
Current children cumulated memory: 82412 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=11956880/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2061304 memory=82476 CPUtime=12.69 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 20895 0 0 0 1263 6 0 0 20 0 1 0 219125398 2110775296 20619 33554432000 4194304 5849708 140724481681680 140724481680680 5353849 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 515326 20619 725 405 0 512271 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2061304 KiB
Current children cumulated memory: 82476 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=11966060/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2050740 memory=71912 CPUtime=25.5 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 27086 0 0 0 2539 11 0 0 20 0 1 0 219125398 2099957760 17978 33554432000 4194304 5849708 140724481681680 140724481680680 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 512685 17978 725 405 0 509630 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2050740 KiB
Current children cumulated memory: 71912 KiB
[startup+51.1095 s]
/proc/loadavg: 2.15 2.03 2.05 3/187 12485
/proc/meminfo: memFree=11966036/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2050596 memory=71768 CPUtime=51.1 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 31239 0 0 0 5089 21 0 0 20 0 1 0 219125398 2099810304 17942 33554432000 4194304 5849708 140724481681680 140724481680552 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 512649 17942 725 405 0 509594 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2050596 KiB
Current children cumulated memory: 71768 KiB
[startup+85.6154 s]
# the end of solver process 12484 was just reported to runsolver
# cumulated CPU time of all completed processes: user=85.2409 s, system=0.376008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 2.15 2.03 2.05 3/187 12485
/proc/meminfo: memFree=11966036/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2050596 memory=71768 CPUtime=51.19 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 31239 0 0 0 5098 21 0 0 20 0 1 0 219125398 2099810304 17942 33554432000 4194304 5849708 140724481681680 140724481680552 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 512649 17942 725 405 0 509594 0
Current children cumulated CPU time: 51.19 s
Current children cumulated vsize: 2050596 KiB
Current children cumulated memory: 71768 KiB
[startup+64.0003 s]*
/proc/loadavg: 2.28 2.07 2.06 3/187 12487
/proc/meminfo: memFree=11964344/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2050596 memory=73816 CPUtime=64 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 34320 0 0 0 6373 27 0 0 20 0 1 0 219125398 2099810304 18454 33554432000 4194304 5849708 140724481681680 140724481680840 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 512649 18454 725 405 0 509594 0
Current children cumulated CPU time: 64 s
Current children cumulated vsize: 2050596 KiB
Current children cumulated memory: 73816 KiB
[startup+76.8003 s]
/proc/loadavg: 2.44 2.11 2.08 3/187 12487
/proc/meminfo: memFree=11960328/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2053104 memory=77764 CPUtime=76.79 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 36568 0 0 0 7645 34 0 0 20 0 1 0 219125398 2102378496 19441 33554432000 4194304 5849708 140724481681680 140724481680840 5392288 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 513276 19441 725 405 0 510221 0
Current children cumulated CPU time: 76.79 s
Current children cumulated vsize: 2053104 KiB
Current children cumulated memory: 77764 KiB
[startup+80.0003 s]*
/proc/loadavg: 2.49 2.13 2.08 3/187 12487
/proc/meminfo: memFree=11960328/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2053064 memory=77772 CPUtime=80 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 36703 0 0 0 7966 34 0 0 20 0 1 0 219125398 2102337536 19443 33554432000 4194304 5849708 140724481681680 140724481680680 5359359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 513266 19443 725 405 0 510211 0
Current children cumulated CPU time: 80 s
Current children cumulated vsize: 2053064 KiB
Current children cumulated memory: 77772 KiB
[startup+83.2003 s]
/proc/loadavg: 2.49 2.13 2.08 3/187 12487
/proc/meminfo: memFree=11960328/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2053064 memory=77772 CPUtime=83.19 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 36703 0 0 0 8284 35 0 0 20 0 1 0 219125398 2102337536 19443 33554432000 4194304 5849708 140724481681680 140724481680680 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 513266 19443 725 405 0 510211 0
Current children cumulated CPU time: 83.19 s
Current children cumulated vsize: 2053064 KiB
Current children cumulated memory: 77772 KiB
[startup+84.8003 s]
/proc/loadavg: 2.49 2.13 2.08 3/187 12487
/proc/meminfo: memFree=11960328/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2053064 memory=77772 CPUtime=84.79 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 36704 0 0 0 8443 36 0 0 20 0 1 0 219125398 2102337536 19443 33554432000 4194304 5849708 140724481681680 140724481680680 5437684 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 513266 19443 725 405 0 510211 0
Current children cumulated CPU time: 84.79 s
Current children cumulated vsize: 2053064 KiB
Current children cumulated memory: 77772 KiB
[startup+85.2003 s]
/proc/loadavg: 2.53 2.14 2.08 3/187 12487
/proc/meminfo: memFree=11960328/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2053064 memory=77772 CPUtime=85.19 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 36704 0 0 0 8482 37 0 0 20 0 1 0 219125398 2102337536 19443 33554432000 4194304 5849708 140724481681680 140724481680680 5353776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 513266 19443 725 405 0 510211 0
Current children cumulated CPU time: 85.19 s
Current children cumulated vsize: 2053064 KiB
Current children cumulated memory: 77772 KiB
[startup+85.6003 s]
/proc/loadavg: 2.53 2.14 2.08 3/187 12487
/proc/meminfo: memFree=11960328/32770624 swapFree=67108496/67108860
[pid=12484] ppid=12481 vsize=2053064 memory=77772 CPUtime=85.59 cores=0,2,4,6
/proc/12484/stat : 12484 (xcsp_picat) R 12481 12484 10084 0 -1 4202496 36704 0 0 0 8522 37 0 0 20 0 1 0 219125398 2102337536 19443 33554432000 4194304 5849708 140724481681680 140724481680680 139890231193479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44404736 140724481684662 140724481684740 140724481684740 140724481687498 0
/proc/12484/statm: 513266 19443 725 405 0 510211 0
Current children cumulated CPU time: 85.59 s
Current children cumulated vsize: 2053064 KiB
Current children cumulated memory: 77772 KiB
Child status: 0
Real time (s): 85.6155
CPU time (s): 85.6169
CPU user time (s): 85.2409
CPU system time (s): 0.376008
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2061360
Max. memory (cumulated for all children) (KiB): 85940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.2409
system time used= 0.376008
maximum resident set size= 85940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37004
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= 24
# summary of solver processes directly reported to runsolver:
# pid: 12484
# total CPU time (s): 85.6169
# total CPU user time (s): 85.2409
# total CPU system time (s): 0.376008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.352358 second user time and 0.623322 second system time
The end
Begin job on node149 at 2018-08-11 21:27:02
IDJOB=4303438
IDBENCH=141393
IDSOLVER=2778
FILE ID=node149/4303438-1534015622
RUNJOBID= node149-1533993477-10115
PBS_JOBID= 21036951
Free space on /tmp= 38800 MiB
SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06d_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303438-1534015622/watcher-4303438-1534015622 -o /tmp/evaluation-result-4303438-1534015622/solver-4303438-1534015622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303438-1534015622.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 71f002b78114a95e8a0fa642f39b0e56
RANDOM SEED=550238901
node149.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.60
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.60
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.60
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.60
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: 12102380 kB
MemAvailable: 31661024 kB
Buffers: 151636 kB
Cached: 19421184 kB
SwapCached: 28 kB
Active: 8005016 kB
Inactive: 11867020 kB
Active(anon): 246268 kB
Inactive(anon): 104964 kB
Active(file): 7758748 kB
Inactive(file): 11762056 kB
Unevictable: 7604 kB
Mlocked: 7604 kB
SwapTotal: 67108860 kB
SwapFree: 67108496 kB
Dirty: 2940 kB
Writeback: 0 kB
AnonPages: 306520 kB
Mapped: 55904 kB
Shmem: 49616 kB
Slab: 494160 kB
SReclaimable: 466300 kB
SUnreclaim: 27860 kB
KernelStack: 3344 kB
PageTables: 5472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2618132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 38796 MiB
End job on node149 at 2018-08-11 21:28:28