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 (12905 MiB free)
memory of node 1: 16384 MiB (11386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303381-1534019387/watcher-4303381-1534019387 -o /tmp/evaluation-result-4303381-1534019387/solver-4303381-1534019387 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5741 --watchdog 2580 xcsp_picat HOME/instance-4303381-1534019387.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
solver pid=9360, runsolver pid=9357
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24848580/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2025744 memory=28412 CPUtime=0.1 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 1172 0 0 0 10 0 0 0 20 0 1 0 219501896 2074361856 7103 33554432000 4194304 5849708 140732871898224 140732871898224 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 506436 7103 628 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28412 KiB
[startup+0.209723 s]*
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24846036/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2026292 memory=31248 CPUtime=0.21 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 1322 0 0 0 21 0 0 0 20 0 1 0 219501896 2074923008 7812 33554432000 4194304 5849708 140732871898224 140732871898224 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 506573 7812 664 405 0 503518 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026292 KiB
Current children cumulated memory: 31248 KiB
[startup+0.309123 s]*
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24845664/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2026680 memory=31536 CPUtime=0.31 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 1419 0 0 0 30 1 0 0 20 0 1 0 219501896 2075320320 7884 33554432000 4194304 5849708 140732871898224 140732871898224 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 506670 7884 664 405 0 503615 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026680 KiB
Current children cumulated memory: 31536 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24844548/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2027704 memory=32436 CPUtime=0.69 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 1675 0 0 0 67 2 0 0 20 0 1 0 219501896 2076368896 8109 33554432000 4194304 5849708 140732871898224 140732871898224 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 506926 8109 664 405 0 503871 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027704 KiB
Current children cumulated memory: 32436 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24840924/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2030264 memory=35044 CPUtime=1.49 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 2315 0 0 0 145 4 0 0 20 0 1 0 219501896 2078990336 8761 33554432000 4194304 5849708 140732871898224 140732871897320 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 507566 8761 664 405 0 504511 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2030264 KiB
Current children cumulated memory: 35044 KiB
[startup+3.10922 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24834356/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2034360 memory=39344 CPUtime=3.1 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 4030 0 0 0 300 10 0 0 20 0 1 0 219501896 2083184640 9836 33554432000 4194304 5849708 140732871898224 140732871897320 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 508590 9836 664 405 0 505535 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2034360 KiB
Current children cumulated memory: 39344 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24824060/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2042940 memory=47928 CPUtime=6.29 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 5626 0 0 0 607 22 0 0 20 0 1 0 219501896 2091970560 11982 33554432000 4194304 5849708 140732871898224 140732871897464 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 510735 11982 665 405 0 507680 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2042940 KiB
Current children cumulated memory: 47928 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 9361
/proc/meminfo: memFree=24776144/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2078316 memory=82228 CPUtime=12.69 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 15045 0 0 0 1228 41 0 0 20 0 1 0 219501896 2128195584 20557 33554432000 4194304 5849708 140732871898224 140732871897336 5416651 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 519579 20557 691 405 0 516524 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2078316 KiB
Current children cumulated memory: 82228 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9369
/proc/meminfo: memFree=24773080/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2081212 memory=85500 CPUtime=25.49 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 24728 0 0 0 2493 56 0 0 20 0 1 0 219501896 2131161088 21375 33554432000 4194304 5849708 140732871898224 140732871897224 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 520303 21375 700 405 0 517248 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2081212 KiB
Current children cumulated memory: 85500 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9369
/proc/meminfo: memFree=24781800/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2082300 memory=87340 CPUtime=51.1 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 43660 0 0 0 5030 80 0 0 20 0 1 0 219501896 2132275200 21835 33554432000 4194304 5849708 140732871898224 140732871897224 5312777 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 520575 21835 700 405 0 517520 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2082300 KiB
Current children cumulated memory: 87340 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24770248/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2083656 memory=88656 CPUtime=102.3 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 62372 0 0 0 10107 123 0 0 20 0 1 0 219501896 2133663744 22164 33554432000 4194304 5849708 140732871898224 140732871896952 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 520914 22164 700 405 0 517859 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2083656 KiB
Current children cumulated memory: 88656 KiB
[startup+111.861 s]
# the end of solver process 9360 was just reported to runsolver
# cumulated CPU time of all completed processes: user=110.58 s, system=1.28808 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24770248/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2083656 memory=88656 CPUtime=102.4 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 62372 0 0 0 10117 123 0 0 20 0 1 0 219501896 2133663744 22164 33554432000 4194304 5849708 140732871898224 140732871896952 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 520914 22164 700 405 0 517859 0
Current children cumulated CPU time: 102.4 s
Current children cumulated vsize: 2083656 KiB
Current children cumulated memory: 88656 KiB
[startup+108.8 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24765784/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2083456 memory=88504 CPUtime=108.79 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 63299 0 0 0 10753 126 0 0 20 0 1 0 219501896 2133458944 22126 33554432000 4194304 5849708 140732871898224 140732871897096 5359186 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 520864 22126 700 405 0 517809 0
Current children cumulated CPU time: 108.79 s
Current children cumulated vsize: 2083456 KiB
Current children cumulated memory: 88504 KiB
[startup+110.4 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24764420/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2084928 memory=89820 CPUtime=110.39 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 63667 0 0 0 10913 126 0 0 20 0 1 0 219501896 2134966272 22455 33554432000 4194304 5849708 140732871898224 140732871896872 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 521232 22455 700 405 0 518177 0
Current children cumulated CPU time: 110.39 s
Current children cumulated vsize: 2084928 KiB
Current children cumulated memory: 89820 KiB
[startup+111.2 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24763676/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2084928 memory=89976 CPUtime=111.2 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 70749 0 0 0 10993 127 0 0 20 0 1 0 219501896 2134966272 22494 33554432000 4194304 5849708 140732871898224 140732871896872 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 521232 22494 700 405 0 518177 0
Current children cumulated CPU time: 111.2 s
Current children cumulated vsize: 2084928 KiB
Current children cumulated memory: 89976 KiB
[startup+111.6 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24763676/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2084928 memory=89976 CPUtime=111.6 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 70878 0 0 0 11032 128 0 0 20 0 1 0 219501896 2134966272 22494 33554432000 4194304 5849708 140732871898224 140732871896872 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 521232 22494 700 405 0 518177 0
Current children cumulated CPU time: 111.6 s
Current children cumulated vsize: 2084928 KiB
Current children cumulated memory: 89976 KiB
[startup+111.8 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 9370
/proc/meminfo: memFree=24763676/32770624 swapFree=67108860/67108860
[pid=9360] ppid=9357 vsize=2084928 memory=89976 CPUtime=111.8 cores=1,3,5,7
/proc/9360/stat : 9360 (xcsp_picat) R 9357 9360 5709 0 -1 4202496 70945 0 0 0 11052 128 0 0 20 0 1 0 219501896 2134966272 22494 33554432000 4194304 5849708 140732871898224 140732871896872 139962806714247 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18403328 140732871906486 140732871906564 140732871906564 140732871909322 0
/proc/9360/statm: 521232 22494 700 405 0 518177 0
Current children cumulated CPU time: 111.8 s
Current children cumulated vsize: 2084928 KiB
Current children cumulated memory: 89976 KiB
Child status: 0
Real time (s): 111.861
CPU time (s): 111.868
CPU user time (s): 110.58
CPU system time (s): 1.28808
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2085432
Max. memory (cumulated for all children) (KiB): 90352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.58
system time used= 1.28808
maximum resident set size= 90388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70992
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= 31
# summary of solver processes directly reported to runsolver:
# pid: 9360
# total CPU time (s): 111.868
# total CPU user time (s): 110.58
# total CPU system time (s): 1.28808
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.440209 second user time and 0.845039 second system time
The end
Begin job on node107 at 2018-08-11 22:29:47
IDJOB=4303381
IDBENCH=141496
IDSOLVER=2778
FILE ID=node107/4303381-1534019387
RUNJOBID= node107-1533993611-5741
PBS_JOBID= 21036955
Free space on /tmp= 39332 MiB
SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g34-g36_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303381-1534019387/watcher-4303381-1534019387 -o /tmp/evaluation-result-4303381-1534019387/solver-4303381-1534019387 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5741 --watchdog 2580 xcsp_picat HOME/instance-4303381-1534019387.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= bf1db001ac5fdaef8f815bb03b0feb23
RANDOM SEED=744580658
node107.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.40
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.40
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.40
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.40
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: 24875724 kB
MemAvailable: 31826856 kB
Buffers: 140312 kB
Cached: 7018780 kB
SwapCached: 0 kB
Active: 3646976 kB
Inactive: 3646544 kB
Active(anon): 81564 kB
Inactive(anon): 105260 kB
Active(file): 3565412 kB
Inactive(file): 3541284 kB
Unevictable: 6976 kB
Mlocked: 6976 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 3152 kB
Writeback: 0 kB
AnonPages: 141244 kB
Mapped: 53404 kB
Shmem: 49804 kB
Slab: 300676 kB
SReclaimable: 272896 kB
SUnreclaim: 27780 kB
KernelStack: 3312 kB
PageTables: 5536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2439932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 91520 kB
DirectMap2M: 33454080 kB
Free space on /tmp at the end= 39328 MiB
End job on node107 at 2018-08-11 22:31:39