runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253418-1500936323/watcher-4253418-1500936323 -o /tmp/evaluation-result-4253418-1500936323/solver-4253418-1500936323 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500936323-13523 --watchdog 2560 miniBTD 2400 HOME/instance-4253418-1500936323.xml
pid=13552
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.02 1.23 3/183 13555
/proc/meminfo: memFree=32083784/32770624 swapFree=5740/136032
[pid=13555] ppid=13552 vsize=26124 CPUtime=0 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 849 0 0 0 0 0 0 0 20 0 1 0 3171811 26750976 675 33554432000 4194304 4832315 140724687442640 140724687439640 140105953676261 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6531 675 541 156 0 173 0
[startup+0.100105 s]
/proc/loadavg: 1.02 1.02 1.23 3/183 13555
/proc/meminfo: memFree=32083784/32770624 swapFree=5740/136032
[pid=13555] ppid=13552 vsize=27308 CPUtime=0.09 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1181 0 0 0 9 0 0 0 20 0 1 0 3171811 27963392 971 33554432000 4194304 4832315 140724687442640 140724687439640 4323742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 971 571 156 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27308
[startup+0.200222 s]
/proc/loadavg: 1.02 1.02 1.23 3/183 13555
/proc/meminfo: memFree=32083784/32770624 swapFree=5740/136032
[pid=13555] ppid=13552 vsize=27308 CPUtime=0.19 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1181 0 0 0 19 0 0 0 20 0 1 0 3171811 27963392 971 33554432000 4194304 4832315 140724687442640 140724687439640 4362039 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 971 571 156 0 469 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27308
[startup+0.300199 s]
/proc/loadavg: 1.02 1.02 1.23 3/183 13555
/proc/meminfo: memFree=32083784/32770624 swapFree=5740/136032
[pid=13555] ppid=13552 vsize=27308 CPUtime=0.29 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1182 0 0 0 29 0 0 0 20 0 1 0 3171811 27963392 971 33554432000 4194304 4832315 140724687442640 140724687439640 4323259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 971 571 156 0 469 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27308
[startup+0.700183 s]
/proc/loadavg: 1.02 1.02 1.23 3/183 13555
/proc/meminfo: memFree=32083784/32770624 swapFree=5740/136032
[pid=13555] ppid=13552 vsize=27308 CPUtime=0.69 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1183 0 0 0 69 0 0 0 20 0 1 0 3171811 27963392 971 33554432000 4194304 4832315 140724687442640 140724687440360 140105953939836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 971 571 156 0 469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27308
[startup+1.50017 s]
/proc/loadavg: 1.02 1.02 1.23 3/184 13556
/proc/meminfo: memFree=32075412/32770624 swapFree=5740/135812
[pid=13555] ppid=13552 vsize=27308 CPUtime=1.49 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1186 0 0 0 149 0 0 0 20 0 1 0 3171811 27963392 971 33554432000 4194304 4832315 140724687442640 140724687440360 4323742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 971 571 156 0 469 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27308
[startup+3.10018 s]
/proc/loadavg: 1.02 1.02 1.23 3/184 13556
/proc/meminfo: memFree=32070072/32770624 swapFree=5740/135824
[pid=13555] ppid=13552 vsize=27308 CPUtime=3.09 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1319 0 0 0 309 0 0 0 20 0 1 0 3171811 27963392 1023 33554432000 4194304 4832315 140724687442640 140724687440360 4323259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 1023 584 156 0 469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27308
[startup+6.30018 s]
/proc/loadavg: 0.93 1.00 1.22 4/184 13556
/proc/meminfo: memFree=32019664/32770624 swapFree=5740/135836
[pid=13555] ppid=13552 vsize=27308 CPUtime=6.29 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1460 0 0 0 628 1 0 0 20 0 1 0 3171811 27963392 1026 33554432000 4194304 4832315 140724687442640 140724687440360 4323727 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 1026 584 156 0 469 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27308
[startup+12.7002 s]
/proc/loadavg: 1.02 1.02 1.23 3/184 13556
/proc/meminfo: memFree=32019276/32770624 swapFree=5740/135836
[pid=13555] ppid=13552 vsize=27308 CPUtime=12.69 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1602 0 0 0 1267 2 0 0 20 0 1 0 3171811 27963392 1031 33554432000 4194304 4832315 140724687442640 140724687440360 4323720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 1031 584 156 0 469 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27308
[startup+25.5002 s]
/proc/loadavg: 1.24 1.07 1.24 3/184 13556
/proc/meminfo: memFree=32019160/32770624 swapFree=5740/135852
[pid=13555] ppid=13552 vsize=27308 CPUtime=25.48 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 1896 0 0 0 2542 6 0 0 20 0 1 0 3171811 27963392 1038 33554432000 4194304 4832315 140724687442640 140724687440360 4323262 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6827 1038 584 156 0 469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27308
[startup+51.1002 s]
/proc/loadavg: 1.50 1.14 1.26 3/184 13556
/proc/meminfo: memFree=32018208/32770624 swapFree=5740/135864
[pid=13555] ppid=13552 vsize=27440 CPUtime=51.08 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2057 0 0 0 5094 14 0 0 20 0 1 0 3171811 28098560 1044 33554432000 4194304 4832315 140724687442640 140724687440360 4323250 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1044 584 156 0 502 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27440
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13555 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 1.50 1.14 1.26 3/184 13556
/proc/meminfo: memFree=32018208/32770624 swapFree=5740/135864
[pid=13555] ppid=13552 vsize=27440 CPUtime=51.18 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2057 0 0 0 5104 14 0 0 20 0 1 0 3171811 28098560 1044 33554432000 4194304 4832315 140724687442640 140724687440360 4323330 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1044 584 156 0 502 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 27440
[startup+64.0002 s]
/proc/loadavg: 1.61 1.19 1.27 3/184 13557
/proc/meminfo: memFree=32017580/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=63.98 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2059 0 0 0 6379 19 0 0 20 0 1 0 3171811 28098560 1044 33554432000 4194304 4832315 140724687442640 140724687440360 4323742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1044 584 156 0 502 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 27440
[startup+76.8002 s]
/proc/loadavg: 1.67 1.21 1.28 3/184 13557
/proc/meminfo: memFree=32017464/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=76.78 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 7655 23 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 4323742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 76.78
Current children cumulated vsize (KiB) 27440
[startup+80.0002 s]
/proc/loadavg: 1.69 1.23 1.28 3/184 13557
/proc/meminfo: memFree=32017464/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=79.98 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 7974 24 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 4323262 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (KiB) 27440
[startup+81.6002 s]
/proc/loadavg: 1.69 1.23 1.28 3/184 13557
/proc/meminfo: memFree=32017340/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=81.59 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 8134 25 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 4323259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 81.59
Current children cumulated vsize (KiB) 27440
[startup+83.2002 s]
/proc/loadavg: 1.69 1.23 1.28 3/184 13557
/proc/meminfo: memFree=32016720/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=83.19 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 8293 26 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 4323259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 83.19
Current children cumulated vsize (KiB) 27440
[startup+84.0002 s]
/proc/loadavg: 1.72 1.24 1.29 3/184 13557
/proc/meminfo: memFree=32016720/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=83.99 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 8373 26 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 140105953939836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 83.99
Current children cumulated vsize (KiB) 27440
[startup+84.4002 s]
/proc/loadavg: 1.72 1.24 1.29 3/184 13557
/proc/meminfo: memFree=32016720/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=84.39 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 8413 26 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 4323747 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 84.39
Current children cumulated vsize (KiB) 27440
[startup+84.5002 s]
/proc/loadavg: 1.72 1.24 1.29 3/184 13557
/proc/meminfo: memFree=32016720/32770624 swapFree=5740/135892
[pid=13555] ppid=13552 vsize=27440 CPUtime=84.49 cores=0,2,4,6
/proc/13555/stat : 13555 (miniBTD) R 13552 13555 3742 0 -1 4202496 2216 0 0 0 8423 26 0 0 20 0 1 0 3171811 28098560 1048 33554432000 4194304 4832315 140724687442640 140724687440360 140105953939836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 30113792 140724687447282 140724687447362 140724687447362 140724687450061 0
/proc/13555/statm: 6860 1048 584 156 0 502 0
Current children cumulated CPU time (s) 84.49
Current children cumulated vsize (KiB) 27440
Child status: 0
Real time (s): 84.5426
CPU time (s): 84.5383
CPU user time (s): 84.2733
CPU system time (s): 0.264991
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 27440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.2733
system time used= 0.264991
maximum resident set size= 4272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2502
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= 6
involuntary context switches= 91
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.123009 second user time and 0.378526 second system time
The end
Begin job on node107 at 2017-07-25 00:45:23
IDJOB=4253418
IDBENCH=135359
IDSOLVER=2632
FILE ID=node107/4253418-1500936323
RUNJOBID= node107-1500936323-13523
PBS_JOBID= 20625415
Free space on /tmp= 61644 MiB
SOLVER NAME= miniBTD 2017-06-30
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-queen/Pb-queen-0974553.xml
COMMAND LINE= miniBTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253418-1500936323/watcher-4253418-1500936323 -o /tmp/evaluation-result-4253418-1500936323/solver-4253418-1500936323 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500936323-13523 --watchdog 2560 miniBTD 2400 HOME/instance-4253418-1500936323.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 4e023da1984a585e160fb8158e2a8b72
RANDOM SEED=1052222079
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.15
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.15
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.15
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.15
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: 32086532 kB
MemAvailable: 32066348 kB
Buffers: 50708 kB
Cached: 242828 kB
SwapCached: 0 kB
Active: 188764 kB
Inactive: 144716 kB
Active(anon): 42664 kB
Inactive(anon): 8684 kB
Active(file): 146100 kB
Inactive(file): 136032 kB
Unevictable: 5740 kB
Mlocked: 5740 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 14528 kB
Writeback: 0 kB
AnonPages: 49652 kB
Mapped: 27272 kB
Shmem: 8848 kB
Slab: 51884 kB
SReclaimable: 27036 kB
SUnreclaim: 24848 kB
KernelStack: 3360 kB
PageTables: 4328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 264436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 61636 MiB
End job on node107 at 2017-07-25 00:46:48