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 (14537 MiB free)
memory of node 1: 16384 MiB (13089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408072-1569795085/watcher-4408072-1569795085 -o /tmp/evaluation-result-4408072-1569795085/solver-4408072-1569795085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1203 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408072-1569795085.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
Current StackSize limit: 8192 KiB
solver pid=2588, runsolver pid=2585
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28288860/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=27972 memory=4216 CPUtime=0.1 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 1238 0 0 0 10 0 0 0 20 0 1 0 555779757 28643328 1054 33554432000 4194304 6211132 140726288957584 140726288954120 140666651495397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 6993 1054 806 493 0 298 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4216 KiB
[startup+0.209671 s]*
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28287840/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=28824 memory=4948 CPUtime=0.21 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 1477 0 0 0 21 0 0 0 20 0 1 0 555779757 29515776 1237 33554432000 4194304 6211132 140726288957584 140726288954856 5743398 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 7206 1237 806 493 0 511 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28824 KiB
Current children cumulated memory: 4948 KiB
[startup+0.309062 s]*
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28287096/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=29736 memory=5516 CPUtime=0.31 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 1746 0 0 0 31 0 0 0 20 0 1 0 555779757 30449664 1379 33554432000 4194304 6211132 140726288957584 140726288954856 5484886 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 7434 1379 806 493 0 739 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29736 KiB
Current children cumulated memory: 5516 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28285496/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=32484 memory=8236 CPUtime=0.69 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 2606 0 0 0 69 0 0 0 20 0 1 0 555779757 33263616 2059 33554432000 4194304 6211132 140726288957584 140726288954856 140666651495397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 8121 2059 806 493 0 1426 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 8236 KiB
[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28223360/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69624 CPUtime=1.49 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 18515 0 0 0 147 2 0 0 20 0 1 0 555779757 95961088 17406 33554432000 4194304 6211132 140726288957584 140726288955848 5039328 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17406 816 493 0 16733 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69624 KiB
[startup+3.10976 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28223352/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=3.1 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 35045 0 0 0 307 3 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039228 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28223048/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=6.29 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 51573 0 0 0 625 4 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2589
/proc/meminfo: memFree=28222588/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=12.69 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 68100 0 0 0 1264 5 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 2591
/proc/meminfo: memFree=28222292/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=25.49 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 101154 0 0 0 2542 7 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2591
/proc/meminfo: memFree=28222744/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=51.1 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 117681 0 0 0 5102 8 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039026 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2595
/proc/meminfo: memFree=28221932/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=102.29 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 134209 0 0 0 10220 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+130.345 s]
# the end of solver process 2588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=130.229 s, system=0.096002 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.01 1.96 3/202 2595
/proc/meminfo: memFree=28221932/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=102.39 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 134209 0 0 0 10230 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039038 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 102.39 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+115.2 s]
/proc/loadavg: 2.00 2.01 1.96 3/202 2598
/proc/meminfo: memFree=28221532/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=115.18 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 134225 0 0 0 11509 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5037801 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 115.18 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+121.6 s]
/proc/loadavg: 1.92 2.00 1.95 3/201 2659
/proc/meminfo: memFree=28327156/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=121.58 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140529 0 0 0 12149 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039026 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 121.58 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+124.8 s]
/proc/loadavg: 1.77 1.96 1.94 3/201 2659
/proc/meminfo: memFree=28296992/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=124.78 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140541 0 0 0 12469 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 124.78 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+128 s]*
/proc/loadavg: 1.77 1.96 1.94 3/201 2659
/proc/meminfo: memFree=28256908/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=127.98 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140548 0 0 0 12789 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039026 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 127.98 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+129.6 s]
/proc/loadavg: 1.79 1.97 1.94 3/201 2659
/proc/meminfo: memFree=28246832/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=129.57 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140548 0 0 0 12948 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039014 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 129.57 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+130 s]*
/proc/loadavg: 1.79 1.97 1.94 3/201 2659
/proc/meminfo: memFree=28236664/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=129.98 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140548 0 0 0 12989 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039018 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 129.98 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+130.2 s]
/proc/loadavg: 1.79 1.97 1.94 3/201 2659
/proc/meminfo: memFree=28236664/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=130.17 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140548 0 0 0 13008 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5038971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 130.17 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
[startup+130.3 s]
/proc/loadavg: 1.79 1.97 1.94 3/201 2659
/proc/meminfo: memFree=28236664/32770624 swapFree=66956692/67108860
[pid=2588] ppid=2585 vsize=93712 memory=69804 CPUtime=130.27 cores=1,3,5,7
/proc/2588/stat : 2588 (cosoco) R 2585 2588 1161 0 -1 4202496 140548 0 0 0 13018 9 0 0 20 0 1 0 555779757 95961088 17451 33554432000 4194304 6211132 140726288957584 140726288955544 5039038 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 18436096 140726288966667 140726288966769 140726288966769 140726288969678 0
/proc/2588/statm: 23428 17451 852 493 0 16733 0
Current children cumulated CPU time: 130.27 s
Current children cumulated vsize: 93712 KiB
Current children cumulated memory: 69804 KiB
Child status: 0
Real time (s): 130.345
CPU time (s): 130.325
CPU user time (s): 130.229
CPU system time (s): 0.096002
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 93712
Max. memory (cumulated for all children) (KiB): 69804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.229
system time used= 0.096002
maximum resident set size= 69872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140587
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= 38
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 2588
# total CPU time (s): 130.325
# total CPU user time (s): 130.229
# total CPU system time (s): 0.096002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.550226 second user time and 1.00818 second system time
The end
Begin job on node151 at 2019-09-30 00:10:44
IDJOB=4408072
IDBENCH=125996
IDSOLVER=2874
FILE ID=node151/4408072-1569795085
RUNJOBID= node151-1569787351-1203
PBS_JOBID= 21705814
Free space on /tmp= 62024 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408072-1569795085/watcher-4408072-1569795085 -o /tmp/evaluation-result-4408072-1569795085/solver-4408072-1569795085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1203 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408072-1569795085.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc
RANDOM SEED=236993948
node151.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.53
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 : 5335.75
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.53
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 : 5335.75
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.53
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 : 5335.75
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.53
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 : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 28289984 kB
MemAvailable: 31670284 kB
Buffers: 168976 kB
Cached: 3546568 kB
SwapCached: 50572 kB
Active: 2035336 kB
Inactive: 1893224 kB
Active(anon): 180664 kB
Inactive(anon): 111440 kB
Active(file): 1854672 kB
Inactive(file): 1781784 kB
Unevictable: 108504 kB
Mlocked: 108504 kB
SwapTotal: 67108860 kB
SwapFree: 66956692 kB
Dirty: 4672 kB
Writeback: 0 kB
AnonPages: 272888 kB
Mapped: 27536 kB
Shmem: 70732 kB
Slab: 147780 kB
SReclaimable: 119360 kB
SUnreclaim: 28420 kB
KernelStack: 3600 kB
PageTables: 5848 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 725876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 71680 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 61992 MiB
End job on node151 at 2019-09-30 00:12:54