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 (10904 MiB free)
memory of node 1: 16384 MiB (13167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407652-1569512012/watcher-4407652-1569512012 -o /var/tmp/evaluation-result-4407652-1569512012/solver-4407652-1569512012 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1569509598-10493 --watchdog 2560 xcsp_picat HOME/instance-4407652-1569512012.xml
running on 4 cores: 1,3,5,7
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=11200, runsolver pid=11197
[startup+0.100176 s]*
/proc/loadavg: 2.13 2.06 1.89 3/201 11201
/proc/meminfo: memFree=24630560/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=22976 CPUtime=0.1 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 1815 0 0 0 10 0 0 0 20 0 1 0 527463768 2080477184 5744 33554432000 4194304 5870510 140730488995904 140730488995208 4491015 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 5744 841 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22976 KiB
[startup+0.21 s]*
/proc/loadavg: 2.13 2.06 1.89 3/201 11201
/proc/meminfo: memFree=24620320/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=35264 CPUtime=0.21 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 1821 0 0 0 21 0 0 0 20 0 1 0 527463768 2080477184 8816 33554432000 4194304 5870510 140730488995904 140730488995208 4438751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 8816 841 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35264 KiB
[startup+0.309851 s]*
/proc/loadavg: 2.13 2.06 1.89 3/201 11201
/proc/meminfo: memFree=24608032/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=45504 CPUtime=0.31 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 1826 0 0 0 31 0 0 0 20 0 1 0 527463768 2080477184 11376 33554432000 4194304 5870510 140730488995904 140730488995208 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 11376 841 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 45504 KiB
[startup+0.7004 s]
/proc/loadavg: 2.13 2.06 1.89 3/201 11201
/proc/meminfo: memFree=24587428/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=86464 CPUtime=0.69 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 1846 0 0 0 68 1 0 0 20 0 1 0 527463768 2080477184 21616 33554432000 4194304 5870510 140730488995904 140730488995208 4522958 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 21616 841 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 86464 KiB
[startup+1.5004 s]
/proc/loadavg: 2.13 2.06 1.89 4/201 11201
/proc/meminfo: memFree=24534056/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=174544 CPUtime=1.49 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 1889 0 0 0 146 3 0 0 20 0 1 0 527463768 2080477184 43636 33554432000 4194304 5870510 140730488995904 140730488995208 4459648 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 43636 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 174544 KiB
[startup+3.10985 s]
/proc/loadavg: 2.12 2.06 1.89 4/201 11201
/proc/meminfo: memFree=24316348/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=346576 CPUtime=3.1 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 2161 0 0 0 305 5 0 0 20 0 1 0 527463768 2080477184 86644 33554432000 4194304 5870510 140730488995904 140730488995208 4467376 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 86644 841 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 346576 KiB
[startup+6.30041 s]
/proc/loadavg: 2.12 2.06 1.89 3/201 11201
/proc/meminfo: memFree=24006168/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2031716 memory=721460 CPUtime=6.29 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 2883 0 0 0 619 10 0 0 20 0 1 0 527463768 2080477184 180365 33554432000 4194304 5870510 140730488995904 140730488995272 4693328 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 507929 180365 863 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 721460 KiB
[startup+12.7004 s]
/proc/loadavg: 2.11 2.06 1.89 3/201 11203
/proc/meminfo: memFree=22665144/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=2887992 memory=1984392 CPUtime=12.69 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 5181 0 0 0 1235 34 0 0 20 0 1 0 527463768 2957303808 496098 33554432000 4194304 5870510 140730488995904 140730488994872 5245079 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 721998 496098 868 410 0 717471 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2887992 KiB
Current children cumulated memory: 1984392 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 2.07 1.90 4/201 11203
/proc/meminfo: memFree=22108072/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3422024 memory=2539828 CPUtime=25.49 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 95761 0 0 0 2499 50 0 0 20 0 1 0 527463768 3504152576 634957 33554432000 4194304 5870510 140730488995904 140730488994408 139793231404931 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 855506 634957 887 410 0 850979 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3422024 KiB
Current children cumulated memory: 2539828 KiB
[startup+51.11 s]
/proc/loadavg: 2.10 2.07 1.90 3/201 11204
/proc/meminfo: memFree=22150620/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3389588 memory=2497056 CPUtime=51.09 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 142408 0 0 0 5055 54 0 0 20 0 1 0 527463768 3470938112 624264 33554432000 4194304 5870510 140730488995904 140730488995160 5306627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 847397 624264 911 410 0 842870 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3389588 KiB
Current children cumulated memory: 2497056 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.06 1.91 3/201 11210
/proc/meminfo: memFree=22138384/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3389588 memory=2509352 CPUtime=102.29 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 285701 0 0 0 10164 65 0 0 20 0 1 0 527463768 3470938112 627338 33554432000 4194304 5870510 140730488995904 140730488995016 5282336 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 847397 627338 913 410 0 842870 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 3389588 KiB
Current children cumulated memory: 2509352 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.05 1.91 4/199 11274
/proc/meminfo: memFree=23113320/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2585128 CPUtime=162.27 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 401161 0 0 0 16153 74 0 0 20 0 1 0 527463768 3554279424 646282 33554432000 4194304 5870510 140730488995904 140730488994856 5258735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 646282 913 410 0 863217 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2585128 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 1.92 4/199 11277
/proc/meminfo: memFree=23107284/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2592268 CPUtime=222.25 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 483774 0 0 0 22142 83 0 0 20 0 1 0 527463768 3554279424 648067 33554432000 4194304 5870510 140730488995904 140730488994920 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 648067 913 410 0 863217 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2592268 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.92 4/199 11283
/proc/meminfo: memFree=23049792/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3603236 memory=2651912 CPUtime=282.24 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 527434 0 0 0 28137 87 0 0 20 0 1 0 527463768 3689713664 662978 33554432000 4194304 5870510 140730488995904 140730488994856 5288740 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 900809 662978 913 410 0 896282 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3603236 KiB
Current children cumulated memory: 2651912 KiB
[startup+311.058 s]
# the end of solver process 11200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=310.077 s, system=0.925953 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 2.00 2.03 1.93 4/199 11285
/proc/meminfo: memFree=23129612/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2582288 CPUtime=294.34 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 538949 0 0 0 29344 90 0 0 20 0 1 0 527463768 3554279424 645572 33554432000 4194304 5870510 140730488995904 140730488994920 5288765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 645572 913 410 0 863217 0
Current children cumulated CPU time: 294.34 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2582288 KiB
[startup+300.8 s]
/proc/loadavg: 2.00 2.03 1.93 4/199 11285
/proc/meminfo: memFree=23112612/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2588432 CPUtime=300.73 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 539619 0 0 0 29983 90 0 0 20 0 1 0 527463768 3554279424 647108 33554432000 4194304 5870510 140730488995904 140730488994920 5272962 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 647108 913 410 0 863217 0
Current children cumulated CPU time: 300.73 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2588432 KiB
[startup+307.2 s]
/proc/loadavg: 2.00 2.03 1.93 3/199 11285
/proc/meminfo: memFree=23103056/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2594576 CPUtime=307.14 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 542811 0 0 0 30623 91 0 0 20 0 1 0 527463768 3554279424 648644 33554432000 4194304 5870510 140730488995904 140730488994920 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 648644 913 410 0 863217 0
Current children cumulated CPU time: 307.14 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2594576 KiB
[startup+308.8 s]
/proc/loadavg: 2.00 2.03 1.93 4/199 11285
/proc/meminfo: memFree=23103056/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2594576 CPUtime=308.74 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 542929 0 0 0 30783 91 0 0 20 0 1 0 527463768 3554279424 648644 33554432000 4194304 5870510 140730488995904 140730488994920 5258758 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 648644 913 410 0 863217 0
Current children cumulated CPU time: 308.74 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2594576 KiB
[startup+310.4 s]
/proc/loadavg: 2.00 2.03 1.93 4/199 11285
/proc/meminfo: memFree=23101040/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2596624 CPUtime=310.34 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 542930 0 0 0 30943 91 0 0 20 0 1 0 527463768 3554279424 649156 33554432000 4194304 5870510 140730488995904 140730488994920 5308364 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 649156 913 410 0 863217 0
Current children cumulated CPU time: 310.34 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2596624 KiB
[startup+310.8 s]
/proc/loadavg: 2.00 2.03 1.93 4/199 11285
/proc/meminfo: memFree=23101040/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2596624 CPUtime=310.74 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 542931 0 0 0 30983 91 0 0 20 0 1 0 527463768 3554279424 649156 33554432000 4194304 5870510 140730488995904 140730488994920 5258470 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 649156 913 410 0 863217 0
Current children cumulated CPU time: 310.74 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2596624 KiB
[startup+311 s]*
/proc/loadavg: 2.00 2.03 1.93 3/199 11285
/proc/meminfo: memFree=23090800/32770624 swapFree=66993592/67108860
[pid=11200] ppid=11197 vsize=3470976 memory=2607396 CPUtime=310.94 cores=1,3,5,7
/proc/11200/stat : 11200 (xcsp_picat) R 11197 11200 10461 0 -1 4202496 543269 0 0 0 31003 91 0 0 20 0 1 0 527463768 3554279424 651849 33554432000 4194304 5870510 140730488995904 140730488994920 4438734 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32587776 140730488996871 140730488996953 140730488996953 140730488999878 0
/proc/11200/statm: 867744 651849 913 410 0 863217 0
Current children cumulated CPU time: 310.94 s
Current children cumulated vsize: 3470976 KiB
Current children cumulated memory: 2607396 KiB
Child status: 0
Real time (s): 311.058
CPU time (s): 311.003
CPU user time (s): 310.077
CPU system time (s): 0.925953
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 3814852
Max. memory (cumulated for all children) (KiB): 2834676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 310.077
system time used= 0.925953
maximum resident set size= 2834676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 543344
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= 52
involuntary context switches= 279
# summary of solver processes directly reported to runsolver:
# pid: 11200
# total CPU time (s): 311.003
# total CPU user time (s): 310.077
# total CPU system time (s): 0.925953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74692 second user time and 1.8965 second system time
The end
Begin job on node121 at 2019-09-26 17:32:49
IDJOB=4407652
IDBENCH=130774
IDSOLVER=2873
FILE ID=node121/4407652-1569512012
RUNJOBID= node121-1569509598-10493
PBS_JOBID= 21705793
Free space on /var/tmp= 13504 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4D-m1296-05.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407652-1569512012/watcher-4407652-1569512012 -o /var/tmp/evaluation-result-4407652-1569512012/solver-4407652-1569512012 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1569509598-10493 --watchdog 2560 xcsp_picat HOME/instance-4407652-1569512012.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= ae5a12998e749ab69535554811a41b7d
RANDOM SEED=244469615
node121.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.75
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.75
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.75
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.75
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: 24650680 kB
MemAvailable: 30753204 kB
Buffers: 187292 kB
Cached: 6021972 kB
SwapCached: 4452 kB
Active: 4156832 kB
Inactive: 3137236 kB
Active(anon): 1093756 kB
Inactive(anon): 57860 kB
Active(file): 3063076 kB
Inactive(file): 3079376 kB
Unevictable: 109052 kB
Mlocked: 109052 kB
SwapTotal: 67108860 kB
SwapFree: 66993592 kB
Dirty: 3188 kB
Writeback: 0 kB
AnonPages: 1198192 kB
Mapped: 24160 kB
Shmem: 58060 kB
Slab: 418284 kB
SReclaimable: 388532 kB
SUnreclaim: 29752 kB
KernelStack: 3792 kB
PageTables: 7588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 3788012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1134592 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /var/tmp at the end= 13504 MiB
End job on node121 at 2019-09-26 17:38:00