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 (15223 MiB free)
memory of node 1: 16384 MiB (12662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395445-1568332985/watcher-4395445-1568332985 -o /tmp/evaluation-result-4395445-1568332985/solver-4395445-1568332985 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31467 --watchdog 2560 xcsp_picat HOME/instance-4395445-1568332985.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2435, runsolver pid=2432
[startup+0.100251 s]*
/proc/loadavg: 2.00 2.04 2.06 3/205 2436
/proc/meminfo: memFree=28527320/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2041816 memory=32264 CPUtime=0.09 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 3141 0 0 0 9 0 0 0 20 0 1 0 409548053 2090819584 8066 33554432000 4194304 5870510 140733815850672 140733815841160 5477019 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 510454 8066 951 410 0 505927 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2041816 KiB
Current children cumulated memory: 32264 KiB
[startup+0.209965 s]*
/proc/loadavg: 2.00 2.04 2.06 3/205 2436
/proc/meminfo: memFree=28527460/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2041816 memory=32264 CPUtime=0.21 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 3160 0 0 0 20 1 0 0 20 0 1 0 409548053 2090819584 8066 33554432000 4194304 5870510 140733815850672 140733815849768 140182814908295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 510454 8066 951 410 0 505927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2041816 KiB
Current children cumulated memory: 32264 KiB
[startup+0.309133 s]*
/proc/loadavg: 2.00 2.04 2.06 3/205 2436
/proc/meminfo: memFree=28527092/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2042080 memory=32872 CPUtime=0.31 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 3327 0 0 0 28 3 0 0 20 0 1 0 409548053 2091089920 8218 33554432000 4194304 5870510 140733815850672 140733815849768 140182814908295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 510520 8218 970 410 0 505993 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2042080 KiB
Current children cumulated memory: 32872 KiB
[startup+0.700241 s]
/proc/loadavg: 2.00 2.04 2.06 3/205 2436
/proc/meminfo: memFree=28517480/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049060 memory=42360 CPUtime=0.68 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 5470 0 0 0 64 4 0 0 20 0 1 0 409548053 2098237440 10590 33554432000 4194304 5870510 140733815850672 140733815849768 140182814908295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512265 10590 970 410 0 507738 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2049060 KiB
Current children cumulated memory: 42360 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.04 2.06 3/206 2438
/proc/meminfo: memFree=28515944/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049340 memory=42624 CPUtime=1.48 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 5539 0 0 0 144 4 0 0 20 0 1 0 409548053 2098524160 10656 33554432000 4194304 5870510 140733815850672 140733815849768 5407057 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512335 10656 970 410 0 507808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2049340 KiB
Current children cumulated memory: 42624 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.04 2.06 3/206 2439
/proc/meminfo: memFree=28515824/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049340 memory=42892 CPUtime=3.09 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 6161 0 0 0 305 4 0 0 20 0 1 0 409548053 2098524160 10723 33554432000 4194304 5870510 140733815850672 140733815849768 5406814 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512335 10723 970 410 0 507808 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2049340 KiB
Current children cumulated memory: 42892 KiB
[startup+6.30022 s]
/proc/loadavg: 2.08 2.06 2.06 3/206 2439
/proc/meminfo: memFree=28515588/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049624 memory=43176 CPUtime=6.28 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 7300 0 0 0 624 4 0 0 20 0 1 0 409548053 2098814976 10794 33554432000 4194304 5870510 140733815850672 140733815849768 5562072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512406 10794 970 410 0 507879 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2049624 KiB
Current children cumulated memory: 43176 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.06 2.06 3/205 2439
/proc/meminfo: memFree=28516212/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049768 memory=43472 CPUtime=12.68 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 8544 0 0 0 1263 5 0 0 20 0 1 0 409548053 2098962432 10868 33554432000 4194304 5870510 140733815850672 140733815849784 5557467 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512442 10868 970 410 0 507915 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2049768 KiB
Current children cumulated memory: 43472 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.06 3/205 2439
/proc/meminfo: memFree=28517928/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049272 memory=43092 CPUtime=25.48 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 19977 0 0 0 2539 9 0 0 20 0 1 0 409548053 2098454528 10773 33554432000 4194304 5870510 140733815850672 140733815849768 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512318 10773 991 410 0 507791 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2049272 KiB
Current children cumulated memory: 43092 KiB
[startup+51.1094 s]
/proc/loadavg: 2.04 2.05 2.06 3/205 2502
/proc/meminfo: memFree=30762756/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049272 memory=43376 CPUtime=51.08 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 26419 0 0 0 5094 14 0 0 20 0 1 0 409548053 2098454528 10844 33554432000 4194304 5870510 140733815850672 140733815849768 5478381 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512318 10844 1000 410 0 507791 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2049272 KiB
Current children cumulated memory: 43376 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/205 2506
/proc/meminfo: memFree=30753268/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049548 memory=47488 CPUtime=102.27 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 44541 0 0 0 10201 26 0 0 20 0 1 0 409548053 2098737152 11872 33554432000 4194304 5870510 140733815850672 140733815849912 5478576 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512387 11872 1000 410 0 507860 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2049548 KiB
Current children cumulated memory: 47488 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/203 2510
/proc/meminfo: memFree=30741048/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2050540 memory=49444 CPUtime=162.27 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 49426 0 0 0 16191 36 0 0 20 0 1 0 409548053 2099752960 12361 33554432000 4194304 5870510 140733815850672 140733815849928 5562052 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512635 12361 1007 410 0 508108 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 49444 KiB
[startup+216.765 s]
# the end of solver process 2435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=216.255 s, system=0.48096 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2510
/proc/meminfo: memFree=30740324/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049740 memory=48992 CPUtime=179.16 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 53708 0 0 0 17876 40 0 0 20 0 1 0 409548053 2098933760 12248 33554432000 4194304 5870510 140733815850672 140733815849768 5478371 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512435 12248 1007 410 0 507908 0
Current children cumulated CPU time: 179.16 s
Current children cumulated vsize: 2049740 KiB
Current children cumulated memory: 48992 KiB
[startup+192 s]*
/proc/loadavg: 2.00 2.03 2.05 3/203 2513
/proc/meminfo: memFree=30726744/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2064128 memory=63216 CPUtime=191.97 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 55355 0 0 0 19155 42 0 0 20 0 1 0 409548053 2113667072 15804 33554432000 4194304 5870510 140733815850672 140733815849384 5337507 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 516032 15804 1007 410 0 511505 0
Current children cumulated CPU time: 191.97 s
Current children cumulated vsize: 2064128 KiB
Current children cumulated memory: 63216 KiB
[startup+204.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2513
/proc/meminfo: memFree=30737648/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2049740 memory=48992 CPUtime=204.76 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 55374 0 0 0 20431 45 0 0 20 0 1 0 409548053 2098933760 12248 33554432000 4194304 5870510 140733815850672 140733815849784 5573438 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512435 12248 1007 410 0 507908 0
Current children cumulated CPU time: 204.76 s
Current children cumulated vsize: 2049740 KiB
Current children cumulated memory: 48992 KiB
[startup+211.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2514
/proc/meminfo: memFree=30737344/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2050540 memory=49208 CPUtime=211.17 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 55489 0 0 0 21070 47 0 0 20 0 1 0 409548053 2099752960 12302 33554432000 4194304 5870510 140733815850672 140733815849784 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512635 12302 1007 410 0 508108 0
Current children cumulated CPU time: 211.17 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 49208 KiB
[startup+214.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2514
/proc/meminfo: memFree=30737476/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2050540 memory=49208 CPUtime=214.36 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 55493 0 0 0 21389 47 0 0 20 0 1 0 409548053 2099752960 12302 33554432000 4194304 5870510 140733815850672 140733815849784 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 512635 12302 1007 410 0 508108 0
Current children cumulated CPU time: 214.36 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 49208 KiB
[startup+216 s]*
/proc/loadavg: 2.00 2.03 2.05 3/203 2514
/proc/meminfo: memFree=30725316/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2063188 memory=62036 CPUtime=215.97 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 56693 0 0 0 21550 47 0 0 20 0 1 0 409548053 2112704512 15509 33554432000 4194304 5870510 140733815850672 140733815849384 5343840 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 515797 15509 1007 410 0 511270 0
Current children cumulated CPU time: 215.97 s
Current children cumulated vsize: 2063188 KiB
Current children cumulated memory: 62036 KiB
[startup+216.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2514
/proc/meminfo: memFree=30725316/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2064128 memory=63164 CPUtime=216.36 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 57035 0 0 0 21589 47 0 0 20 0 1 0 409548053 2113667072 15791 33554432000 4194304 5870510 140733815850672 140733815849384 5343795 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 516032 15791 1007 410 0 511505 0
Current children cumulated CPU time: 216.36 s
Current children cumulated vsize: 2064128 KiB
Current children cumulated memory: 63164 KiB
[startup+216.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2514
/proc/meminfo: memFree=30725316/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2069012 memory=67260 CPUtime=216.56 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 57047 0 0 0 21609 47 0 0 20 0 1 0 409548053 2118668288 16815 33554432000 4194304 5870510 140733815850672 140733815849384 5307173 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 517253 16815 1007 410 0 512726 0
Current children cumulated CPU time: 216.56 s
Current children cumulated vsize: 2069012 KiB
Current children cumulated memory: 67260 KiB
[startup+216.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 2514
/proc/meminfo: memFree=30725316/32770624 swapFree=66966260/67108860
[pid=2435] ppid=2432 vsize=2069012 memory=67260 CPUtime=216.66 cores=0,2,4,6
/proc/2435/stat : 2435 (xcsp_picat) R 2432 2435 31436 0 -1 4202496 57047 0 0 0 21619 47 0 0 20 0 1 0 409548053 2118668288 16815 33554432000 4194304 5870510 140733815850672 140733815849384 140182814441473 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16900096 140733815854111 140733815854189 140733815854189 140733815857098 0
/proc/2435/statm: 517253 16815 1007 410 0 512726 0
Current children cumulated CPU time: 216.66 s
Current children cumulated vsize: 2069012 KiB
Current children cumulated memory: 67260 KiB
Child status: 0
Real time (s): 216.765
CPU time (s): 216.736
CPU user time (s): 216.255
CPU system time (s): 0.48096
CPU usage (%): 99.9869
Max. virtual memory (cumulated for all children) (KiB): 2069040
Max. memory (cumulated for all children) (KiB): 67372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.255
system time used= 0.48096
maximum resident set size= 67400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57071
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= 11
involuntary context switches= 283
# summary of solver processes directly reported to runsolver:
# pid: 2435
# total CPU time (s): 216.736
# total CPU user time (s): 216.255
# total CPU system time (s): 0.48096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.97916 second user time and 1.34892 second system time
The end
Begin job on node135 at 2019-09-13 02:02:25
IDJOB=4395445
IDBENCH=124158
IDSOLVER=2845
FILE ID=node135/4395445-1568332985
RUNJOBID= node135-1568323825-31467
PBS_JOBID= 21701148
Free space on /tmp= 59124 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-4395445-1568332985/watcher-4395445-1568332985 -o /tmp/evaluation-result-4395445-1568332985/solver-4395445-1568332985 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31467 --watchdog 2560 xcsp_picat HOME/instance-4395445-1568332985.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 0fab81179fd404e9cd210665e915a325
RANDOM SEED=1903502345
node135.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.76
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.76
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.76
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.76
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: 28555424 kB
MemAvailable: 29380472 kB
Buffers: 120672 kB
Cached: 970808 kB
SwapCached: 35780 kB
Active: 2910968 kB
Inactive: 701200 kB
Active(anon): 2492268 kB
Inactive(anon): 59704 kB
Active(file): 418700 kB
Inactive(file): 641496 kB
Unevictable: 109776 kB
Mlocked: 109776 kB
SwapTotal: 67108860 kB
SwapFree: 66966260 kB
Dirty: 3116 kB
Writeback: 0 kB
AnonPages: 2595248 kB
Mapped: 36944 kB
Shmem: 22692 kB
Slab: 191788 kB
SReclaimable: 161372 kB
SUnreclaim: 30416 kB
KernelStack: 3648 kB
PageTables: 9716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 4650476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2543616 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 59120 MiB
End job on node135 at 2019-09-13 02:06:02